fn deref_int(a: &i32) -> i32 {
    *a
}

fn main() {
    // https://github.com/rust-lang/rust/issues/112293
    let _has_inference_vars: Option<i32> = Some(0).map(deref_int);
    //~^ ERROR type mismatch in function arguments
}