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

   1 #![feature(intrinsics)]
   2
   3 mod rusti {
   4     extern "rust-intrinsic" {
   5         pub fn ctlz_nonzero<T>(x: T) -> T;
   6     }
   7 }
   8
   9 pub fn main() {
  10     unsafe {
  11         use crate::rusti::*;
  12
  13         ctlz_nonzero(0u8); //~ ERROR: `ctlz_nonzero` called on 0
  14     }
  15 }