f2b60f7d |
1 | // unit-test: ConstProp |
6a06907d |
2 | // compile-flags: -O -Zmir-opt-level=4 |
3dfed10e XL |
3 | |
4 | // EMIT_MIR boolean_identities.test.ConstProp.diff |
5 | pub fn test(x: bool, y: bool) -> bool { |
6 | (y | true) & (x & false) |
7 | } |
8 | |
9 | fn main() { |
10 | test(true, false); |
11 | } |