Skip to content

add an unstable #[rustc_coinductive] attribute#108033

Merged
bors merged 3 commits into
rust-lang:masterfrom
lcnr:coinductive-attr
Feb 15, 2023
Merged

add an unstable #[rustc_coinductive] attribute#108033
bors merged 3 commits into
rust-lang:masterfrom
lcnr:coinductive-attr

change the `marker` attribute to only_local

a2f0303
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs