Skip to content

Implement new effects desugaring#120639

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

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

address review comments

65a0bee
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs