2 #![feature(transmutability)]
3 #![allow(dead_code, incomplete_features, non_camel_case_types)]
6 use std::mem::BikeshedIntrinsicFrom;
8 pub fn is_transmutable<
12 const ASSUME_ALIGNMENT: bool,
13 const ASSUME_LIFETIMES: bool,
14 const ASSUME_VALIDITY: bool,
15 const ASSUME_VISIBILITY: bool,
18 Dst: BikeshedIntrinsicFrom< //~ ERROR this trait takes at most 3 generic arguments but 6 generic arguments were supplied
31 #[repr(C)] struct Src;
32 #[repr(C)] struct Dst;
34 const FALSE: bool = false;
36 assert::is_transmutable::<Src, Dst, Context, FALSE, FALSE, FALSE, FALSE>();