最佳答案
我希望能够这样声明:
trait Narrowable[A] extends Iterable[A] {
def narrow[B <: A & B <: AnyRef] : Iterable[B]
}
B
类型应该是 A
还有 AnyRef
的一个子类型。这可能吗?