相关疑难解决方法(0)

我希望能够声明这样的东西:

trait Narrowable[A] extends Iterable[A] {

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

}

它的类型B应该是既有的亚型A 和 AnyRef.这可能吗？