Skip to content

Clean up some subdiagnostics#152495

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
JonathanBrouwer:remove-empty-subdiags
Feb 12, 2026
Merged

Clean up some subdiagnostics#152495
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
JonathanBrouwer:remove-empty-subdiags

Commits

Commits on Feb 11, 2026