|
//@ run-pass
|
|
#![allow(dead_code)]
|
|
|
|
static X2: u64 = !0 as u16 as u64;
|
|
static Y2: u64 = !0 as u32 as u64;
|
|
const X: u64 = !0 as u16 as u64;
|
|
const Y: u64 = !0 as u32 as u64;
|
|
|
|
fn main() {
|
|
assert_eq!(match 1 {
|
|
X => unreachable!(),
|
|
Y => unreachable!(),
|
|
_ => 1
|
|
}, 1);
|
|
}
|