1 // Regression test for issue #76740.
3 // compile-flags: -Zmir-opt-level=4
6 pub struct V([usize; 4]);
15 assert_eq!(self.0[0], 0);
24 // Copy propagation incorrectly assumed that Operand::Move does not
25 // mutate the local, and used the same v for each V::check call,
26 // rather than a copy.