Skip to content

Shrink no-op drop elaboration - #157491

Merged
rust-bors[bot] merged 4 commits into
rust-lang:mainfrom
cjgillot:elaborate-drop-chain
Jul 8, 2026
Merged

Shrink no-op drop elaboration#157491
rust-bors[bot] merged 4 commits into
rust-lang:mainfrom
cjgillot:elaborate-drop-chain