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