bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #127966 - oli-obk:structured_diag, r=compiler-errors

Browse source 
Use structured suggestions for unconstrained generic parameters on impl blocks

I did not deduplicate with `UnusedGenericParameter`, because in contrast to type declarations, just using a generic parameter in an impl isn't enough, it must be used with the right variance and not just as part of a projection.
This commit is contained in:
Matthias Krüger 2024-07-19 20:03:57 +02:00 • committed by GitHub
commit a2c99cf87c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 39 additions and 56 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_hir_analysis/messages.ftl
View file

@ -536,6 +536,11 @@ hir_analysis_typeof_reserved_keyword_used =
.suggestion = consider replacing `typeof(...)` with an actual type
.label = reserved keyword
hir_analysis_unconstrained_generic_parameter = the {$param_def_kind} `{$param_name}` is not constrained by the impl trait, self type, or predicates
.label = unconstrained {$param_def_kind}
.const_param_note = expressions using a const parameter must map each value to a distinct output value
.const_param_note2 = proving the result of expressions other than the parameter are unique is not supported
hir_analysis_unconstrained_opaque_type = unconstrained opaque type
.note = `{$name}` must be used in combination with a concrete type within the same {$what}