tests/mir-opt/copy-prop/move_arg.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Test that we do not move multiple times from the same local.
// unit-test: CopyProp

// EMIT_MIR move_arg.f.CopyProp.diff
pub fn f<T: Copy>(a: T) {
    let b = a;
    g(a, b);
}

#[inline(never)]
pub fn g<T: Copy>(_: T, _: T) {}

fn main() {
    f(5)
}