blob: 771e4cf0c1b0af79f4aa680ec7e43b4ca21e8114 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
object Test {
def bar(s: String) = s;
val o: Option[Null] = None
def nullReference: Unit = {
val a: Null = o.get
bar(a) // Was: VerifyError under GenICode
}
def literal: Unit = {
val a: Null = null
bar(a)
}
/** Check SI-8330 for details */
def expectedUnitInABranch(b: Boolean): Boolean = {
if (b) {
val x = 12
()
} else {
// here expected type is (unboxed) Unit
null
}
true
}
def main(args: Array[String]): Unit = {
try { nullReference } catch { case _: NoSuchElementException => }
literal
expectedUnitInABranch(true)
}
}
|