From c110309babbf5cf2a7b56ce68d2771a9cc1b160d Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Fri, 15 Jun 2012 19:11:13 +0400
Subject: [PATCH] test for KT-2212  #KT-2212 Fixed

---
 .../diagnostics/tests/nullabilityAndAutoCasts/kt2212.jet  | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt2212.jet

diff --git a/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt2212.jet b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt2212.jet
new file mode 100644
index 00000000000..78c93d378fe
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/kt2212.jet
@@ -0,0 +1,8 @@
+//KT-2212 Incomplete nullability information
+package kt2212
+
+fun main(args: Array<String>) {
+    val x: Int? = 1
+    if (x == null) return
+    println(x.plus(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>))
+}