Update borrowck tests to test that index is by-move now
This commit is contained in:
parent
8e58af4004
commit
57cf2decf7
3 changed files with 82 additions and 8 deletions
|
@ -19,7 +19,7 @@ struct MyVec<T> {
|
||||||
impl<T> Index<usize> for MyVec<T> {
|
impl<T> Index<usize> for MyVec<T> {
|
||||||
type Output = T;
|
type Output = T;
|
||||||
|
|
||||||
fn index(&self, &i: &usize) -> &T {
|
fn index(&self, i: usize) -> &T {
|
||||||
&self.data[i]
|
&self.data[i]
|
||||||
}
|
}
|
||||||
}
|
}
|
|
@ -0,0 +1,74 @@
|
||||||
|
// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
|
||||||
|
// file at the top-level directory of this distribution and at
|
||||||
|
// http://rust-lang.org/COPYRIGHT.
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||||||
|
// <LICENSE-MIT or http://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]);
|
||||||
|
}
|
|
@ -15,10 +15,10 @@ struct Foo {
|
||||||
y: isize,
|
y: isize,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Index<String> for Foo {
|
impl<'a> Index<&'a String> for Foo {
|
||||||
type Output = isize;
|
type Output = isize;
|
||||||
|
|
||||||
fn index<'a>(&'a self, z: &String) -> &'a isize {
|
fn index(&self, z: &String) -> &isize {
|
||||||
if *z == "x" {
|
if *z == "x" {
|
||||||
&self.x
|
&self.x
|
||||||
} else {
|
} else {
|
||||||
|
@ -27,8 +27,8 @@ impl Index<String> for Foo {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl IndexMut<String> for Foo {
|
impl<'a> IndexMut<&'a String> for Foo {
|
||||||
fn index_mut<'a>(&'a mut self, z: &String) -> &'a mut isize {
|
fn index_mut(&mut self, z: &String) -> &mut isize {
|
||||||
if *z == "x" {
|
if *z == "x" {
|
||||||
&mut self.x
|
&mut self.x
|
||||||
} else {
|
} else {
|
||||||
|
@ -44,7 +44,7 @@ struct Bar {
|
||||||
impl Index<isize> for Bar {
|
impl Index<isize> for Bar {
|
||||||
type Output = isize;
|
type Output = isize;
|
||||||
|
|
||||||
fn index<'a>(&'a self, z: &isize) -> &'a isize {
|
fn index<'a>(&'a self, z: isize) -> &'a isize {
|
||||||
&self.x
|
&self.x
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -56,9 +56,9 @@ fn main() {
|
||||||
};
|
};
|
||||||
let mut s = "hello".to_string();
|
let mut s = "hello".to_string();
|
||||||
let rs = &mut s;
|
let rs = &mut s;
|
||||||
println!("{}", f[s]);
|
println!("{}", f[&s]);
|
||||||
//~^ ERROR cannot borrow `s` as immutable because it is also borrowed as mutable
|
//~^ ERROR cannot borrow `s` as immutable because it is also borrowed as mutable
|
||||||
f[s] = 10;
|
f[&s] = 10;
|
||||||
//~^ ERROR cannot borrow `s` as immutable because it is also borrowed as mutable
|
//~^ ERROR cannot borrow `s` as immutable because it is also borrowed as mutable
|
||||||
let s = Bar {
|
let s = Bar {
|
||||||
x: 1,
|
x: 1,
|
Loading…
Add table
Add a link
Reference in a new issue