File tree Expand file tree Collapse file tree 1 file changed +19
-7
lines changed
tests/explicit-nulls/unsafe-common/unsafe-java-call Expand file tree Collapse file tree 1 file changed +19
-7
lines changed Original file line number Diff line number Diff line change 1- import scala . language . unsafeNulls
1+ // Check Java calls have been cast to non-nullable.
22
33val j : J = new J
44
5- val s1 : String = j.f1()
5+ val s1 : String = j.f1() // error
6+
7+ val s1n : String | Null = j.f1()
68
79val i1 : Int = j.f2()
810
9- val s2 : String = j.g1[String ]()
11+ val s2 : String = j.g1[String ]() // error
12+
13+ val s2n : String | Null = j.g1[String ]()
14+
15+ val s3 : String = j.g1[String | Null ]() // error
1016
11- val i2 : Int = j.g1[Int ]()
17+ val s3n : String | Null = j.g1[String | Null ]()
18+
19+ val i2 : Int = j.g1[Int ]() // error
1220
1321val a1 : Any = j.g1[Any ]()
1422
15- val ar1 : AnyRef = j.g1[AnyRef ]()
23+ val ar1 : AnyRef = j.g1[AnyRef ]() // error
1624
1725val n1 : Null = j.g1[Null ]()
1826
19- val ar2 : AnyRef = j.g1[Null ]()
27+ val ar2 : AnyRef = j.g1[Null ]() // error
28+
29+ def clo1 [T ]: T = j.g1[T ]() // error
30+
31+ def clo2 [T <: AnyRef ]: T = j.g1[T | Null ]() // error
2032
21- def clo [ T ]: T = j.g1[T ]()
33+ def clo3 [ T >: Null <: AnyRef | Null ]: T = j.g1[T ]()
You can’t perform that action at this time.
0 commit comments