FIR: fix contract deserialization for assertIs<T>

2021-07-06 13:00:01 +03:00
parent e0c1f50f03
commit c7877cb440
6 changed files with 30 additions and 0 deletions
@@ -0,0 +1,5 @@
+FILE: assertIs.kt
+    public final fun foo(arg: R|kotlin/Any|): R|kotlin/Unit| {
+        R|kotlin/test/assertIs|<R|kotlin/String|>(R|<local>/arg|, String())
+        R|<local>/arg|.R|kotlin/String.length|
+    }
@@ -0,0 +1,6 @@
+import kotlin.test.*
+
+fun foo(arg: Any) {
+    assertIs<String>(arg, "")
+    arg.length
+}
@@ -5445,6 +5445,12 @@ public class FirDiagnosticTestGenerated extends AbstractFirDiagnosticTest {
                KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
            }

+            @Test
+            @TestMetadata("assertIs.kt")
+            public void testAssertIs() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts/assertIs.kt");
+            }
+
            @Test
            @TestMetadata("tryWithLambdaInside.kt")
            public void testTryWithLambdaInside() throws Exception {
@@ -5445,6 +5445,12 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
                KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
            }

+            @Test
+            @TestMetadata("assertIs.kt")
+            public void testAssertIs() throws Exception {
+                runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts/assertIs.kt");
+            }
+
            @Test
            @TestMetadata("tryWithLambdaInside.kt")
            public void testTryWithLambdaInside() throws Exception {