src/test/ui/associated-types/associated-types-project-from-hrtb-in-struct.stderr

   1 error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
   2   --> $DIR/associated-types-project-from-hrtb-in-struct.rs:11:12
   3    |
   4 LL |     field: I::A
   5    |            ^^^^
   6    |
   7 help: use a fully qualified path with explicit lifetimes
   8    |
   9 LL | struct SomeStruct<'a, I: for<'x> Foo<&'x isize>> {
  10 LL |     field: <I as Foo<&'a isize>>::A
  11    |
  12
  13 error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
  14   --> $DIR/associated-types-project-from-hrtb-in-struct.rs:16:18
  15    |
  16 LL |     TupleVariant(I::A),
  17    |                  ^^^^
  18    |
  19 help: use a fully qualified path with explicit lifetimes
  20    |
  21 LL | enum SomeEnum<'c, 'b, I: for<'a> Foo<&'a isize>> {
  22 LL |     TupleVariant(<I as Foo<&'c isize>>::A),
  23    |
  24
  25 error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
  26   --> $DIR/associated-types-project-from-hrtb-in-struct.rs:18:28
  27    |
  28 LL |     StructVariant { field: I::A },
  29    |                            ^^^^
  30    |
  31 help: use a fully qualified path with explicit lifetimes
  32    |
  33 LL | enum SomeEnum<'c, 'b, I: for<'a> Foo<&'a isize>> {
  34 LL |     TupleVariant(I::A),
  35 LL |
  36 LL |     StructVariant { field: <I as Foo<&'c isize>>::A },
  37    |
  38
  39 error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
  40   --> $DIR/associated-types-project-from-hrtb-in-struct.rs:35:12
  41    |
  42 LL |     field: I::A,
  43    |            ^^^^
  44    |
  45 help: use a fully qualified path with explicit lifetimes
  46    |
  47 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,
  48 LL |     'y, 'z, 'aa, I: for<'l, 'm> Foo<&'l &'m isize>> {
  49 LL |     field: <I as Foo<&'bb &'bb isize>>::A,
  50    |
  51
  52 error: aborting due to 4 previous errors
  53
  54 For more information about this error, try `rustc --explain E0212`.