Remove dead code stemming from the old effects desugaring#132374
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 31, 2024
Merged
Remove dead code stemming from the old effects desugaring#132374bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom