From 8bdfafd8c10eddf8503089f89049e3277cfeffbe Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Wed, 7 Dec 2011 16:24:49 +0400
Subject: [PATCH] Test for KT-557 Wrong type inference near sure extension
 function

---
 .../testData/diagnostics/tests/regressions/kt557.jet     | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/regressions/kt557.jet

diff --git a/compiler/testData/diagnostics/tests/regressions/kt557.jet b/compiler/testData/diagnostics/tests/regressions/kt557.jet
new file mode 100644
index 00000000000..546965a6064
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/kt557.jet
@@ -0,0 +1,9 @@
+// KT-557 Wrong type inference near sure extension function
+
+fun Array<String>.length() : Int {
+    return 0;
+}
+
+fun test(array : Array<String?>?) {
+    array<!UNNECESSARY_SAFE_CALL!>?.<!>sure<Array<String?>>()<!UNSAFE_CALL!>.<!>length()
+}
\ No newline at end of file