//@ ignore-windows different list of satisfying impls
fn main() {
let n: u32 = 1;
let mut d: u64 = 2;
d = d % n.into();
//~^ ERROR type annotations needed
}