src/tools/miri/tests/compile-fail/overflowing-unchecked-rsh.rs

#![feature(core_intrinsics)]

use std::intrinsics::*;

//error-pattern: Overflowing shift by 64 in unchecked_shr

fn main() {
    unsafe {
        let _n = unchecked_shr(1i64, 64);
    }
}