src/test/mir-opt/const_prop/issue-66971.rs

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