Nullability for java.lang.ref.Reference.get

2016-12-04 20:02:24 +03:00
parent 84a7e3c032
commit c66b3b8ef9
6 changed files with 103 additions and 0 deletions
@@ -0,0 +1,23 @@
+import java.lang.ref.*
+
+fun notNull(r: WeakReference<String>) {
+    r.get()
+        // SUCCESS
+        // ORIGINAL:    fun get(): T? defined in java.lang.ref.WeakReference
+        // SUBSTITUTED: fun get(): String? defined in java.lang.ref.WeakReference
+}
+
+fun nullable(r: WeakReference<String?>) {
+    r.get()
+        // SUCCESS
+        // ORIGINAL:    fun get(): T? defined in java.lang.ref.WeakReference
+        // SUBSTITUTED: fun get(): String? defined in java.lang.ref.WeakReference
+}
+
+fun platform() {
+    val r = WeakReference("x")
+    r.get()
+        // SUCCESS
+        // ORIGINAL:    fun get(): T? defined in java.lang.ref.WeakReference
+        // SUBSTITUTED: fun get(): String? defined in java.lang.ref.WeakReference
+}