tests/ui/never_type/never-type-rvalues.rs

   1 // run-pass
   2
   3 #![feature(never_type)]
   4 #![allow(dead_code)]
   5 #![allow(path_statements)]
   6 #![allow(unreachable_patterns)]
   7
   8 fn never_direct(x: !) {
   9     x;
  10 }
  11
  12 fn never_ref_pat(ref x: !) {
  13     *x;
  14 }
  15
  16 fn never_ref(x: &!) {
  17     let &y = x;
  18     y;
  19 }
  20
  21 fn never_pointer(x: *const !) {
  22     unsafe {
  23         *x;
  24     }
  25 }
  26
  27 fn never_slice(x: &[!]) {
  28     x[0];
  29 }
  30
  31 fn never_match(x: Result<(), !>) {
  32     match x {
  33         Ok(_) => {},
  34         Err(_) => {},
  35     }
  36 }
  37
  38 pub fn main() { }