Как настроить несколько ограничений типов в Scala?

Question

Я хочу, чтобы иметь возможность объявить что-то вроде этого:

trait Narrowable[A] extends Iterable[A] { 

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

} 

Что это тип B должен быть как подтип AиAnyRef. Это возможно?

Answer 1

Применение соединения Тип:

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