Problem

• Some errors show wrong (at least, unexpected to end-users) positions sometimes.
  • e.g. on type mismatches

Solution

• Propagate just the closest positions for intermediate types.
  • But not positions of sources of the original types.
• Potentially, we can also implement type propagation traces and show them on errors like TypeScript.