]>
Commit | Line | Data |
---|---|---|
6a06907d | 1 | // compile-flags: -Z mir-opt-level=3 |
60c5eb7d XL |
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 | ||
3dfed10e | 14 | // EMIT_MIR issue_66971.main.ConstProp.diff |
60c5eb7d XL |
15 | fn main() { |
16 | encode(((), 0, 0)); | |
17 | } |