src/test/ui/empty/empty-never-array.rs

   1 #![feature(never_type)]
   2
   3 enum Helper<T, U> {
   4     T(T, [!; 0]),
   5     #[allow(dead_code)]
   6     U(U),
   7 }
   8
   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
  12     u
  13 }
  14
  15 fn main() {
  16     println!("{:?}", transmute::<&str, (*const u8, u64)>("type safety"));
  17 }