Skip to content

[DRAFT] Skip check_mod_deathness when not needed - #160252

Draft
joshtriplett wants to merge 6 commits into
rust-lang:mainfrom
joshtriplett:skippable-check-mod-deathness
Draft

[DRAFT] Skip check_mod_deathness when not needed#160252
joshtriplett wants to merge 6 commits into
rust-lang:mainfrom
joshtriplett:skippable-check-mod-deathness

Commits

Commits on Jul 30, 2026

Commits on Jul 31, 2026