]>
Commit | Line | Data |
---|---|---|
0bf4aa26 XL |
1 | // Test that we are able to establish that `<T as |
2 | // MyTrait<'a>>::Output: 'a` outlives `'a` (because the trait says | |
3 | // so). | |
4 | // | |
dfeec247 | 5 | // check-pass |
0bf4aa26 XL |
6 | |
7 | trait MyTrait<'a> { | |
8 | type Output: 'a; | |
9 | } | |
10 | ||
11 | fn foo<'a, T>() -> &'a () | |
12 | where | |
13 | T: MyTrait<'a>, | |
14 | { | |
15 | bar::<T::Output>() | |
16 | } | |
17 | ||
18 | fn bar<'a, T>() -> &'a () | |
19 | where | |
20 | T: 'a, | |
21 | { | |
22 | &() | |
23 | } | |
24 | ||
25 | fn main() {} |