summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-borrow-mut-object-twice.rs
blob: b4d85b60cd5afbb0e3f063d3c40f8e1959ce179f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
// Check that `&mut` objects cannot be borrowed twice, just like
// other `&mut` pointers.



trait Foo {
    fn f1(&mut self) -> &();
    fn f2(&mut self);
}

fn test(x: &mut dyn Foo) {
    let y = x.f1();
    x.f2(); //~ ERROR cannot borrow `*x` as mutable
    y.use_ref();
}

fn main() {}

trait Fake { fn use_mut(&mut self) { } fn use_ref(&self) { }  }
impl<T> Fake for T { }