[many_single_char_names]: Deduplicate diagnostics#12859
Merged
bors merged 1 commit intorust-lang:masterfrom cookie-s:dedup-single-char-name-diagMay 28, 2024
+9-7
many_single_char_names]: Deduplicate diagnostics#12859