A generic procedure is called without supplying any type arguments, and the inferred type arguments result in one or more constraint violations.

• 未提供任何类型变量就调用了泛型过程,并且推导出的类型变量将导致一个或多个约束冲突。