1error: lifetime may not live long enough
2  --> $DIR/projection-type-lifetime-mismatch.rs:17:5
3   |
4LL | fn f(x: &impl for<'a> X<Y<'a> = &'a ()>) -> &'static () {
5   |         - let's call the lifetime of this reference `'1`
6LL |     x.m()
7   |     ^^^^^ returning this value requires that `'1` must outlive `'static`
8
9error: lifetime may not live long enough
10  --> $DIR/projection-type-lifetime-mismatch.rs:22:5
11   |
12LL | fn g<T: for<'a> X<Y<'a> = &'a ()>>(x: &T) -> &'static () {
13   |                                       - let's call the lifetime of this reference `'1`
14LL |     x.m()
15   |     ^^^^^ returning this value requires that `'1` must outlive `'static`
16
17error: lifetime may not live long enough
18  --> $DIR/projection-type-lifetime-mismatch.rs:27:5
19   |
20LL | fn h(x: &()) -> &'static () {
21   |         - let's call the lifetime of this reference `'1`
22LL |     x.m()
23   |     ^^^^^ returning this value requires that `'1` must outlive `'static`
24
25error: aborting due to 3 previous errors
26
27