blob: 88677fa09e5a1854c5fd5ac14e8899f0c728ddad (
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
}
}
|
