tests/ui/inference/issue-71584.rs

// 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
}