2 #![feature(transmutability)]
6 use std
::mem
::{Assume, BikeshedIntrinsicFrom}
;
9 pub fn is_maybe_transmutable
<Src
, Dst
>()
11 Dst
: BikeshedIntrinsicFrom
<
14 { Assume { alignment: true, lifetimes: true, safety: true, validity: true }
},
27 assert
::is_maybe_transmutable
::<B
, A
>();
28 //~^ ERROR cannot be safely transmuted