tests/ui/consts/issue-17074.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ 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);
}