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

Question

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

Например,

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

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

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

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

Answer 1

Вы можете сделать это, используя импликации. Вот трюк от Майлза Сабина на языке скала:

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