2022-08-21 04:47:53 +00:00
|
|
|
// unit-test: MatchBranchSimplification
|
|
|
|
|
2022-09-05 05:35:47 +00:00
|
|
|
|
2020-08-13 23:46:27 +00:00
|
|
|
// EMIT_MIR matches_u8.exhaustive_match.MatchBranchSimplification.diff
|
2020-08-14 00:11:36 +00:00
|
|
|
// EMIT_MIR matches_u8.exhaustive_match_i8.MatchBranchSimplification.diff
|
2020-08-13 23:46:27 +00:00
|
|
|
|
|
|
|
pub enum E {
|
|
|
|
A,
|
|
|
|
B,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[no_mangle]
|
|
|
|
pub fn exhaustive_match(e: E) -> u8 {
|
|
|
|
match e {
|
|
|
|
E::A => 0,
|
|
|
|
E::B => 1,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-14 00:11:36 +00:00
|
|
|
#[no_mangle]
|
|
|
|
pub fn exhaustive_match_i8(e: E) -> i8 {
|
|
|
|
match e {
|
|
|
|
E::A => 0,
|
|
|
|
E::B => 1,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-13 23:46:27 +00:00
|
|
|
fn main() {
|
|
|
|
assert_eq!(exhaustive_match(E::A), 0);
|
|
|
|
assert_eq!(exhaustive_match(E::B), 1);
|
2020-08-14 00:11:36 +00:00
|
|
|
|
|
|
|
assert_eq!(exhaustive_match_i8(E::A), 0);
|
|
|
|
assert_eq!(exhaustive_match_i8(E::B), 1);
|
2020-08-13 23:46:27 +00:00
|
|
|
}
|