blob: eb8eec6327858fe4a8816b1ebf4168d8e249c376 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// #3112
object Test {
def main(args: Array[String]): Unit = {
println((Vector() ++ (0 until 32)) take 0) // works
println((Vector() ++ (0 until 33)) take 0) // error
println((Vector() ++ (0 until 32)) takeRight 0) // works
println((Vector() ++ (0 until 33)) takeRight 0) // error
}
}
|
