Provide type on non-exhaustive pattern matching errors

[Centril]

Context & discussion #67026 (comment).

Given e.g.

fn main() {
    match Some(0) {
        None => {}
    }
}

we now get an error:

error[E0004]: non-exhaustive patterns: `Some(_)` not covered
 --> src/main.rs:2:11
  |
2 |     match Some(0) {
  |           ^^^^^^^ pattern `Some(_)` not covered
  |
  = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms

but we should change this into:

error[E0004]: non-exhaustive patterns: `Some(_)` not covered
 --> src/main.rs:2:11
  |
2 |     match Some(0) {
  |           ^^^^^^^ pattern `Some(_)` not covered
  |
  = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
  = note: the matched value is of type `std::option::Option<i32>`

cc @estebank @varkor @Nadrieril