non-exhaustive pattern matching should give an error

[lucasly-ba]

code:

pub fn main() {
    let x = 3;

    match x {
        4 => 0,   
        3 => 0, 
    };
}

[powerboat9]

I think we have some exhaustiveness checks, but they fail open with literal patterns.