通过以下定义,可以确保具体类型参数相等:
trait WithEqual[T1 >: T2 <: T2, T2]
所以行
type A = WithEqual[Int, Int]
将是合法的.现在我的问题是:如何实现恰恰相反？因此,以下行应该不会编译:
type B = WithUnequal[Int, Int]