25 lines
675 B
Rust
25 lines
675 B
Rust
|
// skip-filecheck
|
||
|
|
|
||
|
|
// EMIT_MIR or_pattern.shortcut_second_or.SimplifyCfg-initial.after.mir
|
||
|
|
fn shortcut_second_or() {
|
||
|
|
// Check that after matching `0`, failing to match `2 | 3` skips trying to match `(1, 2 | 3)`.
|
||
|
|
match ((0, 0), 0) {
|
||
|
|
(x @ (0, _) | x @ (_, 1), y @ 2 | y @ 3) => {}
|
||
|
|
_ => {}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// EMIT_MIR or_pattern.single_switchint.SimplifyCfg-initial.after.mir
|
||
|
|
fn single_switchint() {
|
||
|
|
// Check how many `SwitchInt`s we do. In theory a single one is necessary.
|
||
|
|
match (1, true) {
|
||
|
|
(1, true) => 1,
|
||
|
|
(2, false) => 2,
|
||
|
|
(1 | 2, true | false) => 3,
|
||
|
|
(3 | 4, true | false) => 4,
|
||
|
|
_ => 5,
|
||
|
|
};
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|