Avoid redundant note when a #[derive] is already suggested#157126
Open
Dnreikronos wants to merge 2 commits into
Open
Avoid redundant note when a #[derive] is already suggested#157126Dnreikronos wants to merge 2 commits into
Dnreikronos wants to merge 2 commits into
