From f47f462dcaefb6dd01a44ff9aa70aa0ac023769b Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Tue, 8 Nov 2011 16:00:22 +0400
Subject: [PATCH] KT-418: test for case when safe call on non-null value
 returns null

1?.somethingReturnNull()

must still yield null
---
 .../quick/SafeCallNonNullReceiverReturnNull.jet             | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 compiler/testData/checkerWithErrorTypes/quick/SafeCallNonNullReceiverReturnNull.jet

diff --git a/compiler/testData/checkerWithErrorTypes/quick/SafeCallNonNullReceiverReturnNull.jet b/compiler/testData/checkerWithErrorTypes/quick/SafeCallNonNullReceiverReturnNull.jet
new file mode 100644
index 00000000000..fe6d5efeeed
--- /dev/null
+++ b/compiler/testData/checkerWithErrorTypes/quick/SafeCallNonNullReceiverReturnNull.jet
@@ -0,0 +1,6 @@
+fun Int.gg() = null
+
+fun ff() {
+    val a: Int = 1
+    val b: Int = <!TYPE_MISMATCH!>a<!UNNECESSARY_SAFE_CALL!>?.<!>gg()<!>
+}