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()<!>
+}