tests/mir-opt/const_prop/issue_66971.rs

   1 // unit-test: ConstProp
   2 // compile-flags: -Z mir-opt-level=3
   3
   4 // Due to a bug in propagating scalar pairs the assertion below used to fail. In the expected
   5 // outputs below, after ConstProp this is how _2 would look like with the bug:
   6 //
   7 //     _2 = (const Scalar(0x00) : (), const 0u8);
   8 //
   9 // Which has the wrong type.
  10
  11 fn encode(this: ((), u8, u8)) {
  12     assert!(this.2 == 0);
  13 }
  14
  15 // EMIT_MIR issue_66971.main.ConstProp.diff
  16 fn main() {
  17     encode(((), 0, 0));
  18 }