El parámetro de tipo no se extiende tipo dado

Question

Me gustaría definir un genérico tal que su parámetro de tipo NO amplíe un tipo dado.

Por ejemplo,

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

definiría un rasgo donde su parámetro de tipo extiende Throwable. Quiero algo como (código de Scala no real):

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

Donde el parámetro de tipo de tipo NO se extiende Throwable. ¿Hay alguna manera de construir tal noción en Scala?

Answer 1

Puede hacer tal cosa utilizando implícitas. Aquí hay un truco de Miles Sabin en lenguaje scala:

// 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