blob: 2605c7019e6f45775f71b72e9db2023489a69fee (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// skip-filecheck
// 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);
}
|