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

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:coinductive-attrlcnr/rust:coinductive-attrCopy head branch name to clipboard