Параметр типа не расширяет данный тип

Я хотел бы определить родовое такое, что его параметр типа НЕ расширяет данный тип.

Например,

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

будет определять признак, где его параметр типа расширяет Throwable. Я хочу что-то вроде (не реального Scala кода):

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

Если параметр типа типа НЕ расширяет Throwable. Есть ли способ построить такое понятие в Scala?

Ответ 1

Вы можете делать такое, используя implicits. Вот трюк от Майлза Сабина на 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