suggets simplifying Err(_), Some(_) or Ok(_) to _ inside match if all options are exhausted

fn get_result(b: bool) -> Result<(u16, u16), String> {
    if b {
        Ok((42, 1337))
    } else {
        Err("oh no".to_string())
    }
}

fn main() {
    let (_, _) = match get_result(false) {
        Err(_) => (0, 0),
        Ok((x, y)) => (x, y),
    };
    //println!("a: {}, b: {}", a, b);
}

the match of the main function can be simplified to

    let (_, _) = match get_result(false) {
        Ok((x, y)) => (x, y),
        _ => (0,0),
    };

Start by reviewing the Rust examples in the issue and the existing match-related lint behavior in rust-clippy. Determine how exhaustive match arms involving Err(), Some(), or Ok(_) should be recognized, then verify that the proposed simplification is reported without affecting non-equivalent matches.