diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr')
-rw-r--r-- | src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr b/src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr new file mode 100644 index 000000000..62a619723 --- /dev/null +++ b/src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr @@ -0,0 +1,54 @@ +error[E0212]: cannot use the associated type of a trait with uninferred generic parameters + --> $DIR/associated-types-project-from-hrtb-in-struct.rs:11:12 + | +LL | field: I::A + | ^^^^ + | +help: use a fully qualified path with explicit lifetimes + | +LL ~ struct SomeStruct<'a, I: for<'x> Foo<&'x isize>> { +LL ~ field: <I as Foo<&'a isize>>::A + | + +error[E0212]: cannot use the associated type of a trait with uninferred generic parameters + --> $DIR/associated-types-project-from-hrtb-in-struct.rs:16:18 + | +LL | TupleVariant(I::A), + | ^^^^ + | +help: use a fully qualified path with explicit lifetimes + | +LL ~ enum SomeEnum<'c, 'b, I: for<'a> Foo<&'a isize>> { +LL ~ TupleVariant(<I as Foo<&'c isize>>::A), + | + +error[E0212]: cannot use the associated type of a trait with uninferred generic parameters + --> $DIR/associated-types-project-from-hrtb-in-struct.rs:18:28 + | +LL | StructVariant { field: I::A }, + | ^^^^ + | +help: use a fully qualified path with explicit lifetimes + | +LL ~ enum SomeEnum<'c, 'b, I: for<'a> Foo<&'a isize>> { +LL | TupleVariant(I::A), +LL | +LL ~ StructVariant { field: <I as Foo<&'c isize>>::A }, + | + +error[E0212]: cannot use the associated type of a trait with uninferred generic parameters + --> $DIR/associated-types-project-from-hrtb-in-struct.rs:35:12 + | +LL | field: I::A, + | ^^^^ + | +help: use a fully qualified path with explicit lifetimes + | +LL ~ struct Why<'bb, 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v, 'w, 'x, +LL | 'y, 'z, 'aa, I: for<'l, 'm> Foo<&'l &'m isize>> { +LL ~ field: <I as Foo<&'bb &'bb isize>>::A, + | + +error: aborting due to 4 previous errors + +For more information about this error, try `rustc --explain E0212`. |