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");