blob: 4eefe57b2bef340cb4c6844f279063a33b06f0f7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
trait VectorLike[+T, +V[A] <: Vector[A]] {
def +[S, VResult[S] >: V[S]](v: VResult[S])
}
trait Vector[+T] extends VectorLike[T, Vector]
trait ImmutableVector[T] extends Vector[T] with VectorLike[T, ImmutableVector]
trait MutableVector[T] extends Vector[T] with VectorLike[T, MutableVector]
object Test {
def f = (null: MutableVector[Int]) + (null: ImmutableVector[Int])
}
|
