Skip to content

Shrink no-op drop elaboration#157491

Open
cjgillot wants to merge 4 commits into
rust-lang:mainfrom
cjgillot:elaborate-drop-chain
Open

Shrink no-op drop elaboration#157491
cjgillot wants to merge 4 commits into
rust-lang:mainfrom
cjgillot:elaborate-drop-chain

Commits

Commits on Jun 5, 2026