src/test/run-fail/cast-never.rs

   1 // Test that we can explicitly cast ! to another type
   2
   3 // error-pattern:explicit
   4
   5 #![feature(never_type)]
   6
   7 fn main() {
   8     let x: ! = panic!();
   9     let y: u32 = x as u32;
  10 }