规范将泛型方法的类型参数推断限制为全部或全部.你不能有部分推断.

The specification limits type parameter inference for generic methods to all or nothing. You can't have partial inference.

基本原理可能是简化类型推断规则(这些规则已经非常复杂，因为它们也必须考虑重载规则).

The rationale is probably simplifying type inference rules (that are already pretty complex, as they have to take into account overloading rules too).