1 // Make sure redundant testing paths in `match` expressions are sorted out.
3 #![feature(exclusive_range_pattern)]
5 // EMIT_MIR match_test.main.SimplifyCfg-initial.after.mir
10 // When `(0..=10).contains(x) && !b`, we should jump to the last arm
11 // without testing two other candidates.