The following code compiles with rustc and correctly infers the type of n as i32:

let n = match 42 {
    0 => _ = todo!(),
    _ => 0,
};

However, rust-analyzer incorrectly infers the type of n as ().