1 #![feature(never_type)]
9 fn transmute<T, U>(t: T) -> U {
10 let Helper::U(u) = Helper::T(t, []);
11 //~^ ERROR refutable pattern in local binding: `Helper::T(_, _)` not covered
16 println!("{:?}", transmute::<&str, (*const u8, u64)>("type safety"));