我如何在Scala中设置多个types边界？

我想能够声明这样的东西：

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

那它，typesB应该是A 和 AnyRef的子types。 这可能吗？

Answer 1

使用化合物types：

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