From e38279899c6e3a26707cdecda7eeb29f759aa784 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Thu, 13 Oct 2011 19:22:17 +0400
Subject: [PATCH] New tests for nullability

---
 .../InfixCallNullability.jet                  | 41 +++++++++++++++++++
 .../PreferExtensionsOnNullableReceiver.jet    |  9 ++++
 2 files changed, 50 insertions(+)
 create mode 100644 idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/InfixCallNullability.jet
 create mode 100644 idea/testData/checkerWithErrorTypes/quick/nullabilityAndAutoCasts/PreferExtensionsOnNullableReceiver.jet

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