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 current limitations in the borrow checker, this implies a `'static` lifetime
  --> $DIR/type-test-universe.rs:6:16
   |
LL |     for<'u> T: 'u,
   |                ^^

error: aborting due to 2 previous errors

