When there is no overloading at all for a method, nor any type parameters, inference still treats a reference to that method as stuck until it can determine parameter types. This surprises users, who expect the method reference to have an obvious, bottom-up type, just like a variable reference.

When a method is not overloaded and not generic, it's straightforward to identify the type constraints without waiting for the parameter types to be inferred.