src/tools/miri/tests/compile-fail/validity/invalid_char.rs

fn main() {
    assert!(std::char::from_u32(-1_i32 as u32).is_none());
    let _val = match unsafe { std::mem::transmute::<i32, char>(-1) } { //~ ERROR encountered 4294967295, but expected something less or equal to 1114111
        'a' => {true},
        'b' => {false},
        _ => {true},
    };
}