Comment configurer des limites de types multiples en Scala ?

Question

Je veux pouvoir déclarer quelque chose comme ça :

trait Narrowable[A] extends Iterable[A] {

    def narrow[B <: A & B <: AnyRef] : Iterable[B]

}

C'est-à-dire le type B doit être à la fois un sous-type de A et AnyRef . Est-ce possible ?

Answer 1

Utiliser le type de composé :

trait Narrowable[A] extends Iterable[A] {
  def narrow[B <: A with AnyRef] : Iterable[B]
}