summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/closure-requirements/escape-argument.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/nll/closure-requirements/escape-argument.stderr')
-rw-r--r--tests/ui/nll/closure-requirements/escape-argument.stderr35
1 files changed, 35 insertions, 0 deletions
diff --git a/tests/ui/nll/closure-requirements/escape-argument.stderr b/tests/ui/nll/closure-requirements/escape-argument.stderr
new file mode 100644
index 000000000..f67c312b9
--- /dev/null
+++ b/tests/ui/nll/closure-requirements/escape-argument.stderr
@@ -0,0 +1,35 @@
+note: no external requirements
+ --> $DIR/escape-argument.rs:26:38
+ |
+LL | let mut closure = expect_sig(|p, y| *p = y);
+ | ^^^^^^
+ |
+ = note: defining type: test::{closure#0} with closure substs [
+ i16,
+ for<Region(BrAnon(0, None)), Region(BrAnon(1, None))> extern "rust-call" fn((&ReLateBound(DebruijnIndex(0), BoundRegion { var: 0, kind: BrAnon(0, None) }) mut &ReLateBound(DebruijnIndex(0), BoundRegion { var: 1, kind: BrAnon(1, None) }) i32, &ReLateBound(DebruijnIndex(0), BoundRegion { var: 1, kind: BrAnon(1, None) }) i32)),
+ (),
+ ]
+
+note: no external requirements
+ --> $DIR/escape-argument.rs:20:1
+ |
+LL | fn test() {
+ | ^^^^^^^^^
+ |
+ = note: defining type: test
+
+error[E0597]: `y` does not live long enough
+ --> $DIR/escape-argument.rs:27:25
+ |
+LL | closure(&mut p, &y);
+ | ^^ borrowed value does not live long enough
+LL |
+LL | }
+ | - `y` dropped here while still borrowed
+LL |
+LL | deref(p);
+ | - borrow later used here
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0597`.