From 81f60bf252b6a4660d0065ae1c2f729384024e5a Mon Sep 17 00:00:00 2001
From: Roman Golyshev <roman.golyshev@jetbrains.com>
Date: Wed, 24 Jun 2020 18:39:09 +0300
Subject: [PATCH] Add test for smartcast

---
 .../common/primitiveCompletion/smartCast.kt   | 21 +++++++++++++++++++
 .../test/JSBasicCompletionTestGenerated.java  |  5 +++++
 .../test/JvmBasicCompletionTestGenerated.java |  5 +++++
 3 files changed, 31 insertions(+)
 create mode 100644 idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt

diff --git a/idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt b/idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt
new file mode 100644
index 00000000000..4b53e742f59
--- /dev/null
+++ b/idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt
@@ -0,0 +1,21 @@
+interface A {
+    fun a()
+}
+
+interface B {
+    fun b()
+}
+
+interface C {
+    fun c()
+}
+
+fun take(a: A) {
+    if (a is B && a is C) {
+        a.<caret>
+    }
+}
+
+// EXIST: a
+// EXIST: b
+// EXIST: c
\ No newline at end of file
diff --git a/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JSBasicCompletionTestGenerated.java b/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JSBasicCompletionTestGenerated.java
index ef8088325c9..fa740d2728c 100644
--- a/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JSBasicCompletionTestGenerated.java
+++ b/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JSBasicCompletionTestGenerated.java
@@ -2277,6 +2277,11 @@ public class JSBasicCompletionTestGenerated extends AbstractJSBasicCompletionTes
                 runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/localVariablesAndFunctionsFromNestedScope.kt");
             }
 
+            @TestMetadata("smartCast.kt")
+            public void testSmartCast() throws Exception {
+                runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt");
+            }
+
             @TestMetadata("topLevelVariablesAndFunctions.kt")
             public void testTopLevelVariablesAndFunctions() throws Exception {
                 runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/topLevelVariablesAndFunctions.kt");
diff --git a/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JvmBasicCompletionTestGenerated.java b/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JvmBasicCompletionTestGenerated.java
index 2924e1ac109..166b34187b1 100644
--- a/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JvmBasicCompletionTestGenerated.java
+++ b/idea/idea-completion/tests/org/jetbrains/kotlin/idea/completion/test/JvmBasicCompletionTestGenerated.java
@@ -2277,6 +2277,11 @@ public class JvmBasicCompletionTestGenerated extends AbstractJvmBasicCompletionT
                 runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/localVariablesAndFunctionsFromNestedScope.kt");
             }
 
+            @TestMetadata("smartCast.kt")
+            public void testSmartCast() throws Exception {
+                runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/smartCast.kt");
+            }
+
             @TestMetadata("topLevelVariablesAndFunctions.kt")
             public void testTopLevelVariablesAndFunctions() throws Exception {
                 runTest("idea/idea-completion/testData/basic/common/primitiveCompletion/topLevelVariablesAndFunctions.kt");