Skip to content

Port rustc_insignificant_dtor#152291

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:port-rustc-insignificant-dtor
Feb 9, 2026
Merged

Port rustc_insignificant_dtor#152291
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
jdonszelmann:port-rustc-insignificant-dtor

Commits

Commits on Feb 8, 2026