bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit, r=eholk

Browse source 
Account for late-bound vars from parent arg-position impl trait

We should be reporting an error like we do for late-bound args coming from a parent APIT.

Fixes #113016
This commit is contained in:
Matthias Krüger 2023-06-30 08:01:13 +02:00 • committed by GitHub
commit 0b96b25bdf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 114 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_hir_analysis/messages.ftl
View file

@ -99,6 +99,15 @@ hir_analysis_invalid_union_field =
hir_analysis_invalid_union_field_sugg =
wrap the field type in `ManuallyDrop<...>`
hir_analysis_late_bound_const_in_apit = `impl Trait` can only mention const parameters from an fn or impl
.label = const parameter declared here
hir_analysis_late_bound_lifetime_in_apit = `impl Trait` can only mention lifetimes from an fn or impl
.label = lifetime declared here
hir_analysis_late_bound_type_in_apit = `impl Trait` can only mention type parameters from an fn or impl
.label = type parameter declared here
hir_analysis_lifetimes_or_bounds_mismatch_on_trait =
lifetime parameters or bounds on {$item_kind} `{$ident}` do not match the trait declaration
.label = lifetimes do not match {$item_kind} in trait