src/tools/miri/tests/fail/intrinsics/ctlz_nonzero.rs

#![feature(core_intrinsics)]

fn main() {
    unsafe {
        use std::intrinsics::*;

        ctlz_nonzero(0u8); //~ ERROR: `ctlz_nonzero` called on 0
    }
}