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.