tests/mir-opt/inline/inline_closure_borrows_arg.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// compile-flags: -Z span_free_formats -Zunsound-mir-opts

// Tests that MIR inliner can handle closure arguments,
// even when (#45894)

fn main() {
    println!("{}", foo(0, &14));
}

// EMIT_MIR inline_closure_borrows_arg.foo.Inline.after.mir
fn foo<T: Copy>(_t: T, q: &i32) -> i32 {
    let x = |r: &i32, _s: &i32| {
        let variable = &*r;
        *variable
    };

    // CHECK-LABEL: fn foo(
    // CHECK: (inlined foo::<T>::{closure#0})
    x(q, q)
}