From fc993b88ecf0b520c3c50b1ecb966502aea0cf1d Mon Sep 17 00:00:00 2001
From: Valentin Kipyatkov <valentin@jetbrains.com>
Date: Tue, 18 Nov 2014 11:52:16 +0300
Subject: [PATCH] Checked that KT-4453 has been fixed recently by change in
 TipsManager

---
 .../NoDuplicatedMethodForSmartCast.kt          | 18 ++++++++++++++++++
 .../JSBasicCompletionTestGenerated.java        |  6 ++++++
 .../JvmBasicCompletionTestGenerated.java       |  6 ++++++
 3 files changed, 30 insertions(+)
 create mode 100644 idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt

diff --git a/idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt b/idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt
new file mode 100644
index 00000000000..12df2e7b2c2
--- /dev/null
+++ b/idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt
@@ -0,0 +1,18 @@
+trait A {
+    fun foo(): Int
+}
+
+trait B: A {
+    override fun foo(): Int
+    override fun foo1(): Int
+}
+
+fun g(a: A) {
+    if (a is B) {
+        a.fo<caret>
+    }
+}
+
+// EXIST: foo
+// EXIST: foo1
+// NUMBER: 2
diff --git a/idea/tests/org/jetbrains/jet/completion/JSBasicCompletionTestGenerated.java b/idea/tests/org/jetbrains/jet/completion/JSBasicCompletionTestGenerated.java
index 5768407a9bc..d8bf8e69ea1 100644
--- a/idea/tests/org/jetbrains/jet/completion/JSBasicCompletionTestGenerated.java
+++ b/idea/tests/org/jetbrains/jet/completion/JSBasicCompletionTestGenerated.java
@@ -846,6 +846,12 @@ public class JSBasicCompletionTestGenerated extends AbstractJSBasicCompletionTes
                 doTest(fileName);
             }
 
+            @TestMetadata("NoDuplicatedMethodForSmartCast.kt")
+            public void testNoDuplicatedMethodForSmartCast() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt");
+                doTest(fileName);
+            }
+
             @TestMetadata("WrongExplicitReceiver.kt")
             public void testWrongExplicitReceiver() throws Exception {
                 String fileName = JetTestUtils.navigationMetadata("idea/testData/completion/basic/common/extensions/WrongExplicitReceiver.kt");
diff --git a/idea/tests/org/jetbrains/jet/completion/JvmBasicCompletionTestGenerated.java b/idea/tests/org/jetbrains/jet/completion/JvmBasicCompletionTestGenerated.java
index 5493f18cdef..1a23d9382ee 100644
--- a/idea/tests/org/jetbrains/jet/completion/JvmBasicCompletionTestGenerated.java
+++ b/idea/tests/org/jetbrains/jet/completion/JvmBasicCompletionTestGenerated.java
@@ -846,6 +846,12 @@ public class JvmBasicCompletionTestGenerated extends AbstractJvmBasicCompletionT
                 doTest(fileName);
             }
 
+            @TestMetadata("NoDuplicatedMethodForSmartCast.kt")
+            public void testNoDuplicatedMethodForSmartCast() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("idea/testData/completion/basic/common/extensions/NoDuplicatedMethodForSmartCast.kt");
+                doTest(fileName);
+            }
+
             @TestMetadata("WrongExplicitReceiver.kt")
             public void testWrongExplicitReceiver() throws Exception {
                 String fileName = JetTestUtils.navigationMetadata("idea/testData/completion/basic/common/extensions/WrongExplicitReceiver.kt");