about summary refs log tree commit diff
path: root/tests/ui/borrowck/alias-liveness/rpitit-static.rs
blob: 47f757c35add542f4855602551c0cba31eeedbfb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
//@ check-pass

trait Foo {
    fn rpitit(&mut self) -> impl Sized + 'static;
}

fn live_past_borrow<T: Foo>(mut t: T) {
    let x = t.rpitit();
    drop(t);
    drop(x);
}

fn overlapping_mut<T: Foo>(mut t: T) {
    let a = t.rpitit();
    let b = t.rpitit();
}

fn main() {}