blob: 54b48c1597bdfb1ae3c2d3134f8ab3c35c4cf72f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
error: `S` does not live long enough
--> $DIR/type-test-universe.rs:11:5
|
LL | outlives_forall::<S>();
| ^^^^^^^^^^^^^^^^^^^^^^
error: lifetime may not live long enough
--> $DIR/type-test-universe.rs:17:5
|
LL | fn test2<'a>() {
| -- lifetime `'a` defined here
LL | outlives_forall::<Value<'a>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
|
note: due to a current limitation of the type system, this implies a `'static` lifetime
--> $DIR/type-test-universe.rs:6:5
|
LL | for<'u> T: 'u,
| ^^^^^^^^^^^^^
error: aborting due to 2 previous errors
|
