bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make ui/borrowck/borrowck-overloaded-index-move-index.rs robust w.r.t. NLL.

Browse source
This commit is contained in:
Felix S. Klock II 2018-11-05 13:55:00 +01:00
parent affddf68c6
commit 9f9bf94b8d
2 changed files with 31 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

29
src/test/ui/borrowck/borrowck-overloaded-index-move-index.nll.stderr
View file

@ -1,3 +1,27 @@
error[E0505]: cannot move out of `s` because it is borrowed
--> $DIR/borrowck-overloaded-index-move-index.rs:60:22
|
LL | let rs = &mut s;
| ------ borrow of `s` occurs here
LL |
LL | println!("{}", f[s]);
| ^ move out of `s` occurs here
...
LL | use_mut(rs);
| -- borrow later used here
error[E0505]: cannot move out of `s` because it is borrowed
--> $DIR/borrowck-overloaded-index-move-index.rs:63:7
|
LL | let rs = &mut s;
| ------ borrow of `s` occurs here
...
LL | f[s] = 10;
| ^ move out of `s` occurs here
...
LL | use_mut(rs);
| -- borrow later used here
error[E0382]: use of moved value: `s`
--> $DIR/borrowck-overloaded-index-move-index.rs:63:7
|
@ -9,6 +33,7 @@ LL | f[s] = 10;
|
= note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error
error: aborting due to 3 previous errors
For more information about this error, try `rustc --explain E0382`.
Some errors occurred: E0382, E0505.
For more information about an error, try `rustc --explain E0382`.

4
src/test/ui/borrowck/borrowck-overloaded-index-move-index.rs
View file

@ -71,4 +71,8 @@ fn main() {
let _j = &i;
println!("{}", s[i]); // no error, i is copy
println!("{}", s[i]);
use_mut(rs);
}
fn use_mut<T>(_: &mut T) { }