Skip to content

Implement new effects desugaring#120639

Merged
bors merged 10 commits intorust-lang:masterfrom
fee1-dead-contrib:new-effects-desugaring
Jun 29, 2024
Merged

Implement new effects desugaring#120639
bors merged 10 commits intorust-lang:masterfrom
fee1-dead-contrib:new-effects-desugaring

Commits

Commits on Jun 28, 2024