1 error: `S` does not live long enough
2 --> $DIR/type-test-universe.rs:11:5
4 LL | outlives_forall::<S>();
5 | ^^^^^^^^^^^^^^^^^^^^^^
7 error: lifetime may not live long enough
8 --> $DIR/type-test-universe.rs:17:5
11 | -- lifetime `'a` defined here
12 LL | outlives_forall::<Value<'a>>();
13 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
15 note: due to current limitations in the borrow checker, this implies a `'static` lifetime
16 --> $DIR/type-test-universe.rs:6:16
21 error: aborting due to 2 previous errors