add an unstable #[rustc_coinductive]
attribute
#108033
Merged
#[rustc_coinductive]
attribute
#108033