]> git.lizzy.rs Git - rust.git/blob - src/test/ui/borrowck/borrow-tuple-fields.rs
Auto merge of #54624 - arielb1:evaluate-outlives, r=nikomatsakis
[rust.git] / src / test / ui / borrowck / borrow-tuple-fields.rs
1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 #![feature(box_syntax)]
12
13
14
15 struct Foo(Box<isize>, isize);
16
17 struct Bar(isize, isize);
18
19 fn main() {
20     let x: (Box<_>, _) = (box 1, 2);
21     let r = &x.0;
22     let y = x; //~ ERROR cannot move out of `x` because it is borrowed
23
24     r.use_ref();
25
26     let mut x = (1, 2);
27     let a = &x.0;
28     let b = &mut x.0; //~ ERROR cannot borrow `x.0` as mutable because it is also borrowed as
29     a.use_ref();
30
31     let mut x = (1, 2);
32     let a = &mut x.0;
33     let b = &mut x.0; //~ ERROR cannot borrow `x.0` as mutable more than once at a time
34     a.use_ref();
35
36     let x = Foo(box 1, 2);
37     let r = &x.0;
38     let y = x; //~ ERROR cannot move out of `x` because it is borrowed
39     r.use_ref();
40
41     let mut x = Bar(1, 2);
42     let a = &x.0;
43     let b = &mut x.0; //~ ERROR cannot borrow `x.0` as mutable because it is also borrowed as
44     a.use_ref();
45
46     let mut x = Bar(1, 2);
47     let a = &mut x.0;
48     let b = &mut x.0; //~ ERROR cannot borrow `x.0` as mutable more than once at a time
49     a.use_mut();
50 }
51
52 trait Fake { fn use_mut(&mut self) { } fn use_ref(&self) { }  }
53 impl<T> Fake for T { }