Implement #[rustc_default_body_unstable]
#96478
Merged
#[rustc_default_body_unstable]
#96478