Incorrect error message location

[s3bk]

I tried this code:

// the error is reported here
let em = |v: f64| -> f64 { v };

let x: f64 = em(1i16.into());

// but originates here
let y: f64 = 0.01f64 * 1i16.into();

(playground)

The error message:

error[E0284]: type annotations needed for `f64`
 --> src/main.rs:3:15
  |
3 |     let em = |v: f64| -> f64 { v };
  |               ^ consider giving this closure parameter a type
  |
  = note: cannot resolve `<f64 as std::ops::Mul<_>>::Output == f64`

I expected to see this happen: The error is reported on the line for y.

Instead, this happened: The error is reported for the closure…

Meta

Nighty, Beta and Stable affected.

[bjorn3]

@rustbot modify labels: +A-diagnostics +C-bug +D-incorrect

(someone other than the issue creator do this?)

[tirr-c]

More minimal repro:

fn main() {
    |_: f64| {};
    let _: f64 = 0.0 * 0.into();
}

The closure just needs to be exist anywhere inside main. Even this code reports the same error:

fn main() {
    |_: f64| -> f64 {
        0.0 * 0.into()
    };
}

---

Edit: this triggers the same issue:

fn f() {
    |_| 0;
    0 * 0.into();
}

[contrun]

This is essentially the same issue as #69455.