False positive type mismatch on unsizing structs

[HKalbasi]

#[derive(Debug)]
struct MyWrapper<T: ?Sized>(T);

fn x() {
    let x = &MyWrapper([1u8, 2, 3]);
    let y: &MyWrapper<[u8]> = x; // expected MyWrapper<[u8]> found MyWrapper<[u8; 3]>
}

[Veykril]

I think this is #13864?

[HKalbasi]

Yes that's it.