Could we get guarantee that all pointer-like types have the same representation?
I think this code ought to be sound but I couldn't find a good resource to prove so: #[repr(C)] pub struct Foo<B> { payload: B, version: u8, } impl<'a> Borrow<Foo<&'a [u8]>> for Foo<Box<[u8]>> { fn borrow(&self) ->…