src/test/ui/issues/issue-17074.rs

   1 // run-pass
   2 #![allow(dead_code)]
   3
   4 static X2: u64 = !0 as u16 as u64;
   5 static Y2: u64 = !0 as u32 as u64;
   6 const X: u64 = !0 as u16 as u64;
   7 const Y: u64 = !0 as u32 as u64;
   8
   9 fn main() {
  10     assert_eq!(match 1 {
  11         X => unreachable!(),
  12         Y => unreachable!(),
  13         _ => 1
  14     }, 1);
  15 }