src/test/ui/issues/issue-71584.rs

fn main() {
    let n: u32 = 1;
    let mut d: u64 = 2;
    d = d % n.into(); //~ ERROR type annotations needed
}