为什么在编译器应该推断类型的同时提供显式泛型参数类型？

为什么在编译器应该推断类型的同时提供显式泛型参数类型？

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

基本原理可能是简化类型推断规则（由于已经必须考虑重载规则，它们已经非常复杂了）。