如何确保Scala中的类型参数不同？

Question

通过以下定义，可以确保具体类型参数相等：

trait WithEqual[T1 >: T2 <: T2, T2]

所以这条线

type A = WithEqual[Int, Int]

将是合法的。现在我的问题是：如何达到完全相反的效果？因此，以下行应该不编译：

type B = WithUnequal[Int, Int]

Answer 1

这在 Scala 中相当棘手，您必须故意使用歧义。这是该技术的example。

Mark Harrah 在他的操场上概括了类型级黑客的技巧，Up。

这可能适用于您的问题，但我现在没有时间尝试。