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

rust-bors[bot] merged 2 commits into

rust-lang:mainrust-lang/rust:mainfrom

Dnreikronos:avoid-redundant-derive-note-on-unimplementedDnreikronos/rust:avoid-redundant-derive-note-on-unimplementedCopy head branch name to clipboard