tests/ui/mir/mir_codegen_calls_converging_drops_2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//@ run-fail
//@ error-pattern:complex called
//@ error-pattern:dropped
//@ error-pattern:exit
//@ needs-subprocess

struct Droppable;
impl Drop for Droppable {
    fn drop(&mut self) {
        eprintln!("dropped");
    }
}

// return value of this function is copied into the return slot
fn complex() -> u64 {
    eprintln!("complex called");
    42
}


fn mir() -> u64 {
    let x = Droppable;
    return complex();
    drop(x);
}

pub fn main() {
    assert_eq!(mir(), 42);
    panic!("exit");
}