summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/local-outlives-static-via-hrtb.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/nll/local-outlives-static-via-hrtb.stderr')
-rw-r--r--tests/ui/nll/local-outlives-static-via-hrtb.stderr38
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/ui/nll/local-outlives-static-via-hrtb.stderr b/tests/ui/nll/local-outlives-static-via-hrtb.stderr
new file mode 100644
index 000000000..f5c10f3dd
--- /dev/null
+++ b/tests/ui/nll/local-outlives-static-via-hrtb.stderr
@@ -0,0 +1,38 @@
+error[E0597]: `local` does not live long enough
+ --> $DIR/local-outlives-static-via-hrtb.rs:24:28
+ |
+LL | assert_static_via_hrtb(&local);
+ | -----------------------^^^^^^-
+ | | |
+ | | borrowed value does not live long enough
+ | argument requires that `local` is borrowed for `'static`
+LL | assert_static_via_hrtb_with_assoc_type(&&local);
+LL | }
+ | - `local` dropped here while still borrowed
+ |
+note: due to current limitations in the borrow checker, this implies a `'static` lifetime
+ --> $DIR/local-outlives-static-via-hrtb.rs:15:53
+ |
+LL | fn assert_static_via_hrtb<G>(_: G) where for<'a> G: Outlives<'a> {}
+ | ^^^^^^^^^^^^
+
+error[E0597]: `local` does not live long enough
+ --> $DIR/local-outlives-static-via-hrtb.rs:25:45
+ |
+LL | assert_static_via_hrtb_with_assoc_type(&&local);
+ | ----------------------------------------^^^^^^-
+ | | |
+ | | borrowed value does not live long enough
+ | argument requires that `local` is borrowed for `'static`
+LL | }
+ | - `local` dropped here while still borrowed
+ |
+note: due to current limitations in the borrow checker, this implies a `'static` lifetime
+ --> $DIR/local-outlives-static-via-hrtb.rs:19:20
+ |
+LL | for<'a> &'a T: Reference<AssociatedType = &'a ()>,
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0597`.