当相同的约束必须推断出不同的类型时

当相同的约束必须推断出不同的类型时