Skip to content

Fix unused assignments in diverging branches#156425

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
chenyukang:yukang-fix-156416-unused-assignments-diverging
May 13, 2026
Merged

Fix unused assignments in diverging branches#156425
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
chenyukang:yukang-fix-156416-unused-assignments-diverging

Commits

Commits on May 11, 2026