nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 14:55:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Erase **all** regions when probing for associated types in astconv

Browse Source
This commit is contained in:
Michael Goulet 2023-02-28 17:29:40 +00:00
parent 31f858d9a5
commit cb9852b8e6
3 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_hir_analysis/src/astconv/mod.rs
View File

@ -2403,8 +2403,10 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
infcx
.can_eq(
ty::ParamEnv::empty(),
tcx.erase_regions(impl_.self_ty()),
tcx.erase_regions(qself_ty),
impl_.self_ty(),
// Must fold past escaping bound vars too,
// since we have those at this point in astconv.
tcx.fold_regions(qself_ty, |_, _| tcx.lifetimes.re_erased),
)
})
&& tcx.impl_polarity(impl_def_id) != ty::ImplPolarity::Negative

8
tests/ui/suggestions/suggest-trait-in-ufcs-in-hrtb.rs Normal file
View File

@ -0,0 +1,8 @@
pub struct Bar<S>(S);
pub trait Foo {}
impl<S> Foo for Bar<S> where for<'a> <&'a S>::Item: Foo {}
//~^ ERROR ambiguous associated type
fn main() {}

9
tests/ui/suggestions/suggest-trait-in-ufcs-in-hrtb.stderr Normal file
View File

@ -0,0 +1,9 @@
error[E0223]: ambiguous associated type
--> $DIR/suggest-trait-in-ufcs-in-hrtb.rs:5:38
|
LL | impl<S> Foo for Bar<S> where for<'a> <&'a S>::Item: Foo {}
| ^^^^^^^^^^^^^ help: use the fully-qualified path: `<&'a S as IntoIterator>::Item`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0223`.