型パラメータが与えられた型を継承しない

Question

型パラメータが与えられた型を拡張しないようにgenericを定義したいと思います。例えば

、

trait myTrait[T <: Throwable] { 
    // .... 
} 

は、そのタイプパラメータがのThrowableを拡張形質を定義します。私はスカラーコードではないものを望んでいます：

trait myTrait[T Not(<:) Throwable] { 
    // .... 
} 

ここで、型パラメーターはThrowableを拡張しません。 Scalaでそのような概念を構築する方法はありますか？

Answer 1

このようなことは、暗黙的に行うことができます。ここでは、スカラ言語でMiles Sabinからのトリックがあります：

// Encoding for "A is not a subtype of B" 
trait <:!<[A, B] 

// Uses ambiguity to rule out the cases we're trying to exclude 
implicit def nsub[A, B] : A <:!< B = null 
implicit def nsubAmbig1[A, B >: A] : A <:!< B = null 
implicit def nsubAmbig2[A, B >: A] : A <:!< B = null 

// Type alias for context bound 
type NOT[T] = { 
type Lambda[U] = U <:!< T 
} 

// foo does not accept T of type Unit 
def foo[T : NOT[Unit]#Lambda](t : T) = t