Skip to content

Use delayed bug for normalization errors in drop elaboration#139379

Merged
bors merged 1 commit intorust-lang:masterfrom
matthewjasper:drop-elab-normalization
Apr 14, 2025

Commits

Commits on Apr 11, 2025