JetDiagnosticsTest migrated to TestGenerator

- test data files renamed from *.jet to *.kt
2012-07-10 14:04:59 +04:00
parent 6c23c093ef
commit 3d8d92c7d3
467 changed files with 2764 additions and 146 deletions
@@ -0,0 +1,38 @@
+//KT-2164 !! does not propagate nullability information
+package kt2164
+
+fun foo(x: Int): Int = x + 1
+
+fun main(args : Array<String>) {
+    val x: Int? = null
+
+    foo(<!TYPE_MISMATCH!>x<!>)
+
+    if (x != null) {
+        foo(x)
+        foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+        foo(x)
+    }
+
+    foo(<!TYPE_MISMATCH!>x<!>)
+
+    if (x != null) {
+        foo(x)
+        foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+        foo(x)
+    } else {
+        foo(<!TYPE_MISMATCH!>x<!>)
+        foo(x!!)
+        foo(x)
+    }
+
+    foo(x)
+    foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+    foo(x)
+    
+    val y: Int? = null
+    y!!
+    y<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>
+    foo(y)
+    foo(y<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+}