Skip to content

Always use a DropTree to build drops#159537

Draft
cjgillot wants to merge 6 commits into
rust-lang:mainfrom
cjgillot:rm-build_scope_drops
Draft

Always use a DropTree to build drops#159537
cjgillot wants to merge 6 commits into
rust-lang:mainfrom
cjgillot:rm-build_scope_drops

Commits

Commits on Jul 18, 2026