diff options
Diffstat (limited to 'tests/ui/nll/type-test-universe.stderr')
| -rw-r--r-- | tests/ui/nll/type-test-universe.stderr | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/ui/nll/type-test-universe.stderr b/tests/ui/nll/type-test-universe.stderr new file mode 100644 index 000000000..31e17d64b --- /dev/null +++ b/tests/ui/nll/type-test-universe.stderr @@ -0,0 +1,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 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 + |