summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs46
1 files changed, 0 insertions, 46 deletions
diff --git a/src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs b/src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs
deleted file mode 100644
index 4da10fd44..000000000
--- a/src/test/ui/borrowck/borrowck-loan-rcvr-overloaded-op.rs
+++ /dev/null
@@ -1,46 +0,0 @@
-use std::ops::Add;
-
-#[derive(Copy, Clone)]
-struct Point {
- x: isize,
- y: isize,
-}
-
-impl Add<isize> for Point {
- type Output = isize;
-
- fn add(self, z: isize) -> isize {
- self.x + self.y + z
- }
-}
-
-impl Point {
- pub fn times(&self, z: isize) -> isize {
- self.x * self.y * z
- }
-}
-
-fn a() {
- let mut p = Point {x: 3, y: 4};
-
- // ok (we can loan out rcvr)
- p + 3;
- p.times(3);
-}
-
-fn b() {
- let mut p = Point {x: 3, y: 4};
-
- // Here I create an outstanding loan and check that we get conflicts:
-
- let q = &mut p;
-
- p + 3; //~ ERROR cannot use `p`
- p.times(3); //~ ERROR cannot borrow `p`
-
- *q + 3; // OK to use the new alias `q`
- q.x += 1; // and OK to mutate it
-}
-
-fn main() {
-}