blob: a875056781955a516680797e0856f02117d31ee1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
error: lifetime may not live long enough
--> $DIR/issue-26217.rs:4:5
|
LL | fn bar<'a>() {
| -- lifetime `'a` defined here
LL | foo::<&'a i32>();
| ^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
|
note: due to a current limitation of the type system, this implies a `'static` lifetime
--> $DIR/issue-26217.rs:1:19
|
LL | fn foo<T>() where for<'a> T: 'a {}
| ^^^^^^^^^^^^^
error: aborting due to 1 previous error
|
