RA fails to resolve type of match arm identifier

rust-analyzer version: 0.3.2282-standalone (2df4ecfc74 2025-01-26)

rustc version: rustc 1.83.0 (90b35a623 2024-11-26)

editor or extension: VSCode extension version 0.3.2282

code snippet to reproduce:

fn need_bytes_mut(_: &mut [u8]) {}

fn main() {
    let mut string = String::new();
    match unsafe { string.as_bytes_mut() } {
        [] => {}
        bytes => {
            need_bytes_mut(bytes);
        }
    }
}

The code compiles, but type hint for bytes is unkown and RA reports an error. If line 6 is deleted, everything will be fine.

And str's method as_bytes_mut is not resolved, no auto-comple, no quick doc lookup.

Start with the provided Rust snippet and reproduce the failure in rust-analyzer with the reported versions. Investigate match-arm identifier type inference and method resolution around the unsafe as_bytes_mut call; done means the bytes hint and diagnostic are correct, and as_bytes_mut resolves with completion and documentation lookup.