Targeted type-checking in the presentation compiler is sometimes too precise. `askTypeAt(pos)` stops type-checking as soon as the smallest enclosing tree for `pos` has been typed. However, for overloaded method calls this is too early, since the type is not known before looking at the arguments.
This happens for any overloaded method call.
`askTypeAt` should be smarter, and continue type-checking if `tree.tpe.isOverloadedType`.
Observable outcomes of this (in the IDE) are unknown 'hovers', broken hyperlinking that suddenly starts working, unresolved ScalaDoc comments.