Skip to content

Avoid redundant note when a #[derive] is already suggested#157126

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Dnreikronos:avoid-redundant-derive-note-on-unimplemented
May 31, 2026
Merged

Avoid redundant note when a #[derive] is already suggested#157126
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Dnreikronos:avoid-redundant-derive-note-on-unimplemented

Hoist redundant-note check out of the note loop

96a2ded
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded May 30, 2026 in 1m 7s