src/test/ui/nll/type-test-universe.stderr

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