Point at type parameter shadowing another type in E0574 #97459
Labels
A-diagnostics
Area: Messages for errors, warnings, and lints
D-confusing
Diagnostics: Confusing error or lint that should be reworked.
D-papercut
Diagnostics: An error or lint that needs small tweaks.
D-terse
Diagnostics: An error or lint that doesn't give enough information about the problem at hand.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
When a type parameter shadows a type name in a pattern, E0574 should point at the type parameter and check if there are other types that could be resolved with the same name and point at them as well.
It currently is
and should be
The text was updated successfully, but these errors were encountered: