-
Notifications
You must be signed in to change notification settings - Fork 12.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update borrowck tests to test that index is by-move now
- Loading branch information
1 parent
130c17d
commit b760c56
Showing
3 changed files
with
82 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
74 changes: 74 additions & 0 deletions
74
src/test/compile-fail/borrowck-overloaded-index-move-index.rs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,74 @@ | ||
// Copyright 2014 The Rust Project Developers. See the COPYRIGHT | ||
// file at the top-level directory of this distribution and at | ||
// https://rust-lang.org/COPYRIGHT. | ||
// | ||
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or | ||
// https://www.apache.org/licenses/LICENSE-2.0> or the MIT license | ||
// <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your | ||
// option. This file may not be copied, modified, or distributed | ||
// except according to those terms. | ||
|
||
use std::ops::{Index, IndexMut}; | ||
|
||
struct Foo { | ||
x: isize, | ||
y: isize, | ||
} | ||
|
||
impl Index<String> for Foo { | ||
type Output = isize; | ||
|
||
fn index(&self, z: String) -> &isize { | ||
if z == "x" { | ||
&self.x | ||
} else { | ||
&self.y | ||
} | ||
} | ||
} | ||
|
||
impl IndexMut<String> for Foo { | ||
fn index_mut(&mut self, z: String) -> &mut isize { | ||
if z == "x" { | ||
&mut self.x | ||
} else { | ||
&mut self.y | ||
} | ||
} | ||
} | ||
|
||
struct Bar { | ||
x: isize, | ||
} | ||
|
||
impl Index<isize> for Bar { | ||
type Output = isize; | ||
|
||
fn index<'a>(&'a self, z: isize) -> &'a isize { | ||
&self.x | ||
} | ||
} | ||
|
||
fn main() { | ||
let mut f = Foo { | ||
x: 1, | ||
y: 2, | ||
}; | ||
let mut s = "hello".to_string(); | ||
let rs = &mut s; | ||
|
||
println!("{}", f[s]); | ||
//~^ ERROR cannot move out of `s` because it is borrowed | ||
|
||
f[s] = 10; | ||
//~^ ERROR cannot move out of `s` because it is borrowed | ||
//~| ERROR use of moved value: `s` | ||
|
||
let s = Bar { | ||
x: 1, | ||
}; | ||
let i = 2; | ||
let _j = &i; | ||
println!("{}", s[i]); // no error, i is copy | ||
println!("{}", s[i]); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters