rust/src/test/ui/borrowck/mut-borrow-outside-loop.nll.stderr
Santiago Pastorino 801c3f060f
Fix erroneous loop diagnostic in nll
This commit fixes the logic of detecting when a use happen in a later
iteration of where a borrow was defined

Fixes #53773
2019-02-20 12:15:08 -03:00

25 lines
1.0 KiB
Plaintext

error[E0499]: cannot borrow `void` as mutable more than once at a time
--> $DIR/mut-borrow-outside-loop.rs:7:18
|
LL | let first = &mut void;
| --------- first mutable borrow occurs here
LL | let second = &mut void; //~ ERROR cannot borrow
| ^^^^^^^^^ second mutable borrow occurs here
LL | first.use_mut();
| ----- first borrow later used here
error[E0499]: cannot borrow `inner_void` as mutable more than once at a time
--> $DIR/mut-borrow-outside-loop.rs:15:28
|
LL | let inner_first = &mut inner_void;
| --------------- first mutable borrow occurs here
LL | let inner_second = &mut inner_void; //~ ERROR cannot borrow
| ^^^^^^^^^^^^^^^ second mutable borrow occurs here
LL | inner_second.use_mut();
LL | inner_first.use_mut();
| ----------- first borrow later used here
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0499`.