Describe the bug

When declaring an int variable $val and trying to use binary addition on it with a string it would highlight the type mismatch before you evaluated the expression:

let val = 10
let var = "10"
$val + $var

I tried to see how far this on the fly analysis goes by turning a value into a string during evaluation.

let val = 10
($val | into string) + $var

In hindsight, obvious that this wouldn't be picked up without any special handling for into. Attempting to evaluate the expression anyway yields the following error message:

Error: nu::shell::type_mismatch (link)

  × Type mismatch during operation.
   ╭─[entry #11:1:1]
 1 │ ($val | into string) + $val
   ·  ──┬─                ┬ ──┬─
   ·    │                 │   ╰── int
   ·    │                 ╰── type mismatch for operator
   ·    ╰── string
   ╰────

Here, val is underlined as both a string in the left term and as a int in the right term, which is wrong since the whole left term evaluated to a string, not $val itself.

How to reproduce

1. nu
2. let val = 10
3. ($val | into string) + $val

Expected behavior

An error message underlining the whole left term of the addition expression sort of like this:

Error: nu::shell::type_mismatch (link)

  × Type mismatch during operation.
   ╭─[entry #11:1:1]
 1 │ ($val | into string) + $val
   · ───┬──────────────── ┬ ──┬─
   ·    │                 │   ╰── int
   ·    │                 ╰── type mismatch for operator
   ·    ╰── string
   ╰────

Screenshots

No response

Configuration

Additional context

Note the inconsistent highlighting between string + int and int + string, see #7289.