Skip to content

internal: support #[rustc_coinductive]#15125

Merged
bors merged 1 commit intorust-lang:masterfrom
lowr:patch/rustc_coinductive
Jun 28, 2023
Merged

internal: support `#[rustc_coinductive]`#15125
bors merged 1 commit intorust-lang:masterfrom
lowr:patch/rustc_coinductive

Commits

Commits on Jun 24, 2023