src/test/ui/consts/const-eval/match-test-ptr-null.rs


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

fn main() {
    // Make sure match uses the usual pointer comparison code path -- i.e., it should complain
    // that pointer comparison is disallowed, not that parts of a pointer are accessed as raw
    // bytes.
    let _: [u8; 0] = [4; {
        match &1 as *const i32 as usize {
            //~^ ERROR casting pointers to integers in constants
            //~| NOTE for more information, see
            //~| ERROR constant contains unimplemented expression type
            0 => 42, //~ ERROR constant contains unimplemented expression type
            //~^ NOTE "pointer arithmetic or comparison" needs an rfc before being allowed
            //~| ERROR evaluation of constant value failed
            n => n,
        }
    }];
}