blob: c01caa57d04badb66651476efd07f6636b880812 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
object Test {
def len(x: Array[String]): Unit = x.length
def load(x: Array[String]): Unit = x(0)
def check(x: => Any) = try { x; sys.error("failed to throw NPE!") } catch { case _: NullPointerException => }
def main(args: Array[String]) {
check(len(null)) // bug: did not NPE
check(load(null))
}
}
|