1error: lifetime may not live long enough
2  --> $DIR/associated-types-subtyping-1.rs:24:12
3   |
4LL | fn method2<'a,'b,T>(x: &'a T, y: &'b T)
5   |            -- -- lifetime `'b` defined here
6   |            |
7   |            lifetime `'a` defined here
8...
9LL |     let a: <T as Trait<'a>>::Type = make_any();
10   |            ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
11   |
12   = help: consider adding the following bound: `'b: 'a`
13
14error: lifetime may not live long enough
15  --> $DIR/associated-types-subtyping-1.rs:35:13
16   |
17LL | fn method3<'a,'b,T>(x: &'a T, y: &'b T)
18   |            -- -- lifetime `'b` defined here
19   |            |
20   |            lifetime `'a` defined here
21...
22LL |     let _c: <T as Trait<'a>>::Type = b;
23   |             ^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
24   |
25   = help: consider adding the following bound: `'b: 'a`
26
27error: aborting due to 2 previous errors
28
29