tests/ui/inference/issue-71584.rs

//@ ignore-windows FIXME: We get an extra E0283 on Windows
fn main() {
    let n: u32 = 1;
    let mut d: u64 = 2;
    d = d % n.into();
    //~^ ERROR type annotations needed
}