Odd types in mismatch

[Veykril]

fn t(
    parents: &[&()],
)  {}
   
fn a() {
    let x: ();
    t(&[x])
}

Just an observation which might be unactionable but the snippet above yields expected &[&()], found &[!; 1]rust-analyzer[E0308](https://doc.rust-lang.org/stable/error_codes/E0308.html). Notably the never type in there is odd. I'd expect &[(); 1] given we know the type of x.

[ChayimFriedman2]

Can't reproduce. It gives me expected &(), found () (tip of git).

[Veykril]

I get both :)

nightly-x86_64-pc-windows-msvc (default)
rustc 1.83.0-nightly (c2f74c3f9 2024-09-09)

and

rust-analyzer version: 0.4.2110-standalone (4221354a8 2024-09-13)

[ChayimFriedman2]

I get only that :)

Both with tip-of-git and with stable rust-analyzer.

[Veykril]

Well that is fun...