about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorlqd <remy.rakic+github@gmail.com>2019-06-11 19:33:36 +0200
committerlqd <remy.rakic+github@gmail.com>2019-07-22 10:32:39 +0200
commit94101046ffe4e6a01819631d00d3802a838af98a (patch)
tree0906a8db54df8bbddbab73c79ae5ffe05fcbd553 /src
parent2824db1388dbd300c80466b10dc736d2780b8000 (diff)
downloadrust-94101046ffe4e6a01819631d00d3802a838af98a.tar.gz
rust-94101046ffe4e6a01819631d00d3802a838af98a.zip
Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius
Diffstat (limited to 'src')
-rw-r--r--src/test/ui/nll/loan_ends_mid_block_pair.polonius.stderr38
1 files changed, 38 insertions, 0 deletions
diff --git a/src/test/ui/nll/loan_ends_mid_block_pair.polonius.stderr b/src/test/ui/nll/loan_ends_mid_block_pair.polonius.stderr
new file mode 100644
index 00000000000..c9537d42c41
--- /dev/null
+++ b/src/test/ui/nll/loan_ends_mid_block_pair.polonius.stderr
@@ -0,0 +1,38 @@
+error[E0506]: cannot assign to `data.0` because it is borrowed
+  --> $DIR/loan_ends_mid_block_pair.rs:12:5
+   |
+LL |     let c = &mut data.0;
+   |             ----------- borrow of `data.0` occurs here
+LL |     capitalize(c);
+LL |     data.0 = 'e';
+   |     ^^^^^^^^^^^^ assignment to borrowed `data.0` occurs here
+...
+LL |     capitalize(c);
+   |                - borrow later used here
+
+error[E0506]: cannot assign to `data.0` because it is borrowed
+  --> $DIR/loan_ends_mid_block_pair.rs:14:5
+   |
+LL |     let c = &mut data.0;
+   |             ----------- borrow of `data.0` occurs here
+...
+LL |     data.0 = 'f';
+   |     ^^^^^^^^^^^^ assignment to borrowed `data.0` occurs here
+LL |     data.0 = 'g';
+LL |     capitalize(c);
+   |                - borrow later used here
+
+error[E0506]: cannot assign to `data.0` because it is borrowed
+  --> $DIR/loan_ends_mid_block_pair.rs:15:5
+   |
+LL |     let c = &mut data.0;
+   |             ----------- borrow of `data.0` occurs here
+...
+LL |     data.0 = 'g';
+   |     ^^^^^^^^^^^^ assignment to borrowed `data.0` occurs here
+LL |     capitalize(c);
+   |                - borrow later used here
+
+error: aborting due to 3 previous errors
+
+For more information about this error, try `rustc --explain E0506`.