user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius, again

Browse source 
Fixing assignments to projections made the Polonius output exactly the same as the NLL one.
This commit is contained in:
lqd 2019-07-16 17:35:21 +02:00
parent c7f9a71d78
commit c0eab36bce
1 changed files with 1 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

25
src/test/ui/nll/loan_ends_mid_block_pair.polonius.stderr
View file

@ -10,29 +10,6 @@ LL | data.0 = 'e';
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
error: aborting due to previous error
For more information about this error, try `rustc --explain E0506`.