tests/mir-opt/dataflow-const-prop/boolean_identities.rs


1
2
3
4
5
6
7
8
9
10

// unit-test: DataflowConstProp

// EMIT_MIR boolean_identities.test.DataflowConstProp.diff
pub fn test(x: bool, y: bool) -> bool {
    (y | true) & (x & false)
}

fn main() {
    test(true, false);
}