Empty enumとパターンの網羅性
#rust
code:rust
pub enum A {}
fn f(a: (i32, A)) {
// OK:
match a {
(_, a) => match a {}
}
// ERROR:
// match a {}
}
(追記)
exahustive_patterns
で可能になる。
never_type
も注目。