diff --git a/compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt b/compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt index 7938c3191f0..63d0b3645fe 100644 --- a/compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt +++ b/compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt @@ -1,18 +1,16 @@ // !LANGUAGE: +DefinitelyNonNullableTypes -// IGNORE_BACKEND: JVM -// IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: JS // IGNORE_BACKEND: JS_IR +// IGNORE_BACKEND: WASM // IGNORE_BACKEND_FIR: JVM_IR // FIR status: not supported in JVM fun test(t: T) = t as (T & Any) -fun box(): String { +fun box(): String = try { test(null) + "FAIL: expected NPE" } catch (ex: NullPointerException) { - return "FAIL: expected NPE" - } - return test("OK") -} \ No newline at end of file + test("OK") + } \ No newline at end of file diff --git a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java index 40142d771b3..49d24054950 100644 --- a/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java +++ b/compiler/tests-gen/org/jetbrains/kotlin/codegen/LightAnalysisModeTestGenerated.java @@ -3701,11 +3701,6 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes @TestDataPath("$PROJECT_ROOT") @RunWith(JUnit3RunnerWithInners.class) public static class Casts extends AbstractLightAnalysisModeTest { - @TestMetadata("castToDefinitelyNotNullType.kt") - public void ignoreCastToDefinitelyNotNullType() throws Exception { - runTest("compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt"); - } - private void runTest(String testDataFilePath) throws Exception { KotlinTestUtils.runTest(this::doTest, TargetBackend.JVM, testDataFilePath); } @@ -3759,6 +3754,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes runTest("compiler/testData/codegen/box/casts/castGenericNull.kt"); } + @TestMetadata("castToDefinitelyNotNullType.kt") + public void testCastToDefinitelyNotNullType() throws Exception { + runTest("compiler/testData/codegen/box/casts/castToDefinitelyNotNullType.kt"); + } + @TestMetadata("dontCreateInconsistentTypeDuringStarProjectionSubstitution.kt") public void testDontCreateInconsistentTypeDuringStarProjectionSubstitution() throws Exception { runTest("compiler/testData/codegen/box/casts/dontCreateInconsistentTypeDuringStarProjectionSubstitution.kt");