tests/compile-fail/intrinsics/exact_div3.rs

   1 #![feature(core_intrinsics)]
   2 fn main() {
   3     // signed divison with a remainder
   4     unsafe { std::intrinsics::exact_div(-19i8, 2); } //~ ERROR -19i8 cannot be divided by 2i8 without remainder
   5 }