653d8ffab2 ^
912077c5f8 ^
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) }