diff options
Diffstat (limited to 'src/test/ui/empty/empty-never-array.rs')
| -rw-r--r-- | src/test/ui/empty/empty-never-array.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/empty/empty-never-array.rs b/src/test/ui/empty/empty-never-array.rs deleted file mode 100644 index 3de2b1a78a3..00000000000 --- a/src/test/ui/empty/empty-never-array.rs +++ /dev/null @@ -1,17 +0,0 @@ -#![feature(never_type)] - -enum Helper<T, U> { - T(T, [!; 0]), - #[allow(dead_code)] - U(U), -} - -fn transmute<T, U>(t: T) -> U { - let Helper::U(u) = Helper::T(t, []); - //~^ ERROR refutable pattern in local binding: `Helper::T(_, _)` not covered - u -} - -fn main() { - println!("{:?}", transmute::<&str, (*const u8, u64)>("type safety")); -} |
