This seems generally useful. When would it make sense to *not* type the qualifier if it's `MethodType` and the method is implicit? I wonder if there are other places where this test should be done.

`askType` has a similar problem (stopping type-checking to early) for overloaded methods. See [SI-6548](https://issues.scala-lang.org/browse/SI-7548)