Skip to content

Remove dead code stemming from the old effects desugaring (II)#133443

Merged
bors merged 1 commit intorust-lang:masterfrom
fmease:rm-dead-eff-code-ii
Nov 26, 2024
Merged

Remove dead code stemming from the old effects desugaring (II)#133443
bors merged 1 commit intorust-lang:masterfrom
fmease:rm-dead-eff-code-ii

Commits

Commits on Nov 25, 2024