Reporting a reason of error with an irrelevant constraint in this example #125110
Labels
A-diagnostics
Area: Messages for errors, warnings, and lints
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Code
Current output
Desired output
Rationale and extra context
No response
Other cases
No response
Rust Version
Anything else?
If manually annotate the parameter types, the example can be compiled
The text was updated successfully, but these errors were encountered: