Как обеспечить, чтобы параметры типа отличались в Scala?

Question

При следующем определении можно гарантировать, что параметры конкретного типа равны:

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

Итак, линия

type A = WithEqual[Int, Int]

будет законным. Теперь мой вопрос: как добиться с точностью до наоборот? Таким образом, следующая строка должна не компилироваться:

type B = WithUnequal[Int, Int]

Answer 1

Это довольно сложно в Scala, вы должны прибегнуть к преднамеренной двусмысленности. Вот пример этой техники.

Марк Харра обобщил трюк на игровой площадке для хакерских атак на уровне типов: Up .

Вполне возможно, что это можно применить к вашему вопросу, но у меня нет времени, чтобы попробовать прямо сейчас.