96d7374b9b ^
653d8ffab2 ^
1 2 3
4 5
trait Vector[+A] { def append(x: Vector[A]): Vector[A] private[this] def append3(x: Vector[A]): Vector[A] = append(x) }