src/test/ui/associated-types/associated-types-subtyping-1.nll.stderr

   1 error: unsatisfied lifetime constraints
   2   --> $DIR/associated-types-subtyping-1.rs:36:13
   3    |
   4 LL | fn method2<'a,'b,T>(x: &'a T, y: &'b T)
   5    |            -- -- lifetime `'b` defined here
   6    |            |
   7    |            lifetime `'a` defined here
   8 ...
   9 LL |     let _c: <T as Trait<'b>>::Type = a; //~ ERROR E0623
  10    |             ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  11
  12 error: unsatisfied lifetime constraints
  13   --> $DIR/associated-types-subtyping-1.rs:44:12
  14    |
  15 LL | fn method3<'a,'b,T>(x: &'a T, y: &'b T)
  16    |            -- -- lifetime `'b` defined here
  17    |            |
  18    |            lifetime `'a` defined here
  19 ...
  20 LL |     let b: <T as Trait<'b>>::Type = make_any();
  21    |            ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
  22
  23 error: aborting due to 2 previous errors
  24