From 0734534e5833d0dd59746f029896f5f15bc52991 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Tue, 19 Jun 2012 14:33:04 +0400
Subject: [PATCH] test for qualified expression nullability

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

diff --git a/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/QualifiedExpressionNullability.jet b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/QualifiedExpressionNullability.jet
new file mode 100644
index 00000000000..a8d14c07da6
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/nullabilityAndAutoCasts/QualifiedExpressionNullability.jet
@@ -0,0 +1,29 @@
+class Foo {
+    fun foo(a: Foo): Foo = a
+}
+
+fun main(args : Array<String>) {
+    val x: Foo? = null
+    val y: Foo? = null
+    
+    x<!UNSAFE_CALL!>.<!>foo(<!TYPE_MISMATCH!>y<!>)
+    x!!.foo(<!TYPE_MISMATCH!>y<!>)
+    x.foo(y!!)
+    x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(y<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+    
+    val a: Foo? = null
+    val b: Foo? = null
+    val c: Foo? = null
+    
+    a<!UNSAFE_CALL!>.<!>foo(b<!UNSAFE_CALL!>.<!>foo(<!TYPE_MISMATCH!>c<!>))
+    a!!.foo(b<!UNSAFE_CALL!>.<!>foo(<!TYPE_MISMATCH!>c<!>))
+    a.foo(b!!.foo(<!TYPE_MISMATCH!>c<!>))
+    a<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(b<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(<!TYPE_MISMATCH!>c<!>))
+    a.foo(b.foo(c!!))
+    a<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(b.foo(c<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>))
+    a.foo(b<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(c<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>))
+    a<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(b<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>.foo(c<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>))
+    
+    val z: Foo? = null
+    z!!.foo(z<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>)
+}