diff --git a/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/InfixCallNullability.jet b/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/InfixCallNullability.jet
new file mode 100644
index 00000000000..d27f6834a73
--- /dev/null
+++ b/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/InfixCallNullability.jet
@@ -0,0 +1,41 @@
+class A() {
+  fun plus(i : Int) {}
+  fun minus() {}
+   fun contains(a : Any?) : Boolean = true
+}
+
+fun A.div(i : Int) {}
+fun A?.times(i : Int) {}
+
+fun test(x : Int?, a : A?) {
+    x<!UNSAFE_CALL!>.<!>plus(1)
+    x?.plus(1)
+    x <!UNSAFE_INFIX_CALL!>plus<!> 1
+    x <!UNSAFE_INFIX_CALL!>+<!> 1
+    <!UNSAFE_CALL!>-<!>x
+    x<!UNSAFE_CALL!>.<!>minus()
+    x?.minus()
+
+    a<!UNSAFE_CALL!>.<!>plus(1)
+    a?.plus(1)
+    a <!UNSAFE_INFIX_CALL!>plus<!> 1
+    a <!UNSAFE_INFIX_CALL!>+<!> 1
+    <!UNSAFE_CALL!>-<!>a
+    a<!UNSAFE_CALL!>.<!>minus()
+    a?.minus()
+
+    a<!UNSAFE_CALL!>.<!>div(1)
+    a <!UNSAFE_INFIX_CALL!>/<!> 1
+    a <!UNSAFE_INFIX_CALL!>div<!> 1
+    a?.div(1)
+
+    a.times(1)
+    a * 1
+    a times 1
+    a<!UNNECESSARY_SAFE_CALL!>?.<!>times(1)
+
+    1 <!UNSAFE_INFIX_CALL!>in<!> a
+    a <!UNSAFE_INFIX_CALL!>contains<!> 1
+    a<!UNSAFE_CALL!>.<!>contains(1)
+    a?.contains(1)
+}
diff --git a/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/PreferExtensionsOnNullableReceiver.jet b/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/PreferExtensionsOnNullableReceiver.jet
new file mode 100644
index 00000000000..b841960b590
--- /dev/null
+++ b/idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/PreferExtensionsOnNullableReceiver.jet
@@ -0,0 +1,9 @@
+class Foo {
+    fun foo() {}
+}
+
+fun Any?.foo() {}
+
+fun test(f : Foo?) {
+  f.foo()
+}