Skip to content

chore: clearify tidy's error message#152202

Merged
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
nyurik:better-msg
Feb 6, 2026
Merged

chore: clearify tidy's error message#152202
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
nyurik:better-msg

Commits

Commits on Feb 6, 2026