summaryrefslogtreecommitdiffstats
path: root/tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr')
-rw-r--r--tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr27
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr b/tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr
new file mode 100644
index 000000000..a57ceb847
--- /dev/null
+++ b/tests/ui/borrowck/two-phase-allow-access-during-reservation.nll_target.stderr
@@ -0,0 +1,27 @@
+error[E0503]: cannot use `i` because it was mutably borrowed
+ --> $DIR/two-phase-allow-access-during-reservation.rs:26:19
+ |
+LL | /*1*/ let p = &mut i; // (reservation of `i` starts here)
+ | ------ borrow of `i` occurs here
+LL |
+LL | /*2*/ let j = i; // OK: `i` is only reserved here
+ | ^ use of borrowed `i`
+...
+LL | /*3*/ *p += 1; // (mutable borrow of `i` starts here, since `p` is used)
+ | ------- borrow later used here
+
+error[E0503]: cannot use `i` because it was mutably borrowed
+ --> $DIR/two-phase-allow-access-during-reservation.rs:31:19
+ |
+LL | /*1*/ let p = &mut i; // (reservation of `i` starts here)
+ | ------ borrow of `i` occurs here
+...
+LL | /*4*/ let k = i;
+ | ^ use of borrowed `i`
+...
+LL | /*5*/ *p += 1;
+ | ------- borrow later used here
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0503`.