Skip to content

Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=<… #42199

Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=<…

Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=<… #42199

Annotations

1 error

bors build finished

failed Feb 26, 2024 in 0s