Reproduceable with this: ``` fn main() { let x = 5; match x { // 3 => (), // uncomment to get non-exhaustive patterns error _ if true => (), // _ => () // ICE if missing } } ```