Support min_exhaustive_patterns

[Veykril]

rust-lang/rust#119612 has been stabilized but we throw exhaustiveness errors for those examples

let x: Result<i32, !>;
match x {
    Ok(y) => (),
}
let Ok(y) = x;