Newtype problem: reinterpret_cast a &[Bar] to &[Foo]

I started a new thread where I'm asking about how wide-pointer casts are defined.