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

   1 #![feature(intrinsics)]
   2
   3 // Directly call intrinsic to avoid debug assertions in libstd
   4 extern "rust-intrinsic" {
   5     fn float_to_int_unchecked<Float: Copy, Int: Copy>(value: Float) -> Int;
   6 }
   7
   8 fn main() {
   9     unsafe {
  10         float_to_int_unchecked::<f64, u128>(f64::INFINITY); //~ ERROR: cannot be represented in target type `u128`
  11     }
  12 }