Parametr typu nie rozszerza się pod dany typ

Question

Chciałbym zdefiniować rodzajowy taki, że jego parametr typu NIE rozszerza danego typu.

Przykładowo

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

by określić cechy gdzie jego parametr typu rozciąga ratunkowym. Chcę czegoś takiego (nie rzeczywistego kodu Scala):

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

Gdzie parametr typu typ NIE rozciąga się na "Throwable". Czy istnieje sposób na skonstruowanie takiego pojęcia w Scali?

Answer 1

Możesz zrobić coś takiego za pomocą implikacji. Oto sztuczka od Milesa Sinana na scala-language:

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