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

+4-40

Commits on Oct 30, 2024

Remove dead code stemming from the old effects desugaring
fmease
committed