tests/compile-fail/exact_div2.rs

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