Skip to content

Remove dead code stemming from the old effects desugaring#132374

Merged
bors merged 1 commit intorust-lang:masterfrom
fmease:rm-dead-eff-code
Oct 31, 2024

Commits

Commits on Oct 30, 2024