如何確保Scala中的類型參數不同？

Question

用下面的定義，它是能夠確保具體類型參數相等：

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

所以行

type A = WithEqual[Int, Int] 

將是合法的。現在我的問題是：如何實現恰恰相反？因此，下面的行應不編譯：

type B = WithUnequal[Int, Int] 

Answer 1

這是Scala相當棘手，你不得不求助於有意的歧義。這是這種技術的example。

Mark Harrah在他的操場上推廣了類型級hackery的技巧Up。

這很可能適用於您的問題，但我現在沒有時間去嘗試。