pub macro Default($item:item) { ... }
miri-test-libstd
Derive macro generating an impl of the trait Default.
Default