Test for KT-557 Wrong type inference near sure extension function

2011-12-07 16:24:49 +04:00
parent d1acab01cd
commit 8bdfafd8c1
1 changed files with 9 additions and 0 deletions
@@ -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()
+}