Shrink suggestion span of argument mismatch error This doesn't really help with #101242, but I wanted to put this up while I work on other fixes.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.