From b32887380a86f44e2dfb1eca71d2f29d38490055 Mon Sep 17 00:00:00 2001 From: Victor Petukhov Date: Mon, 18 Apr 2022 16:30:32 +0300 Subject: [PATCH] [FE] Move empty intersection tests into separate directory --- ...irOldFrontendDiagnosticsTestGenerated.java | 478 +++++++++--------- ...DiagnosticsWithLightTreeTestGenerated.java | 478 +++++++++--------- ...nVariableHasComplexIntersectionType.fir.kt | 0 ...eWhenVariableHasComplexIntersectionType.kt | 0 ...WhenVariableHasComplexIntersectionType.txt | 0 .../kt45461.diag.txt | 0 .../kt45461.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt45461.kt | 0 .../{ => emptyIntersectionTypes}/kt45461.txt | 0 .../kt45461_10.kt | 0 .../kt45461_10.txt | 0 .../kt45461_11.diag.txt | 0 .../kt45461_11.kt | 0 .../kt45461_11.txt | 0 .../kt45461_12.diag.txt | 0 .../kt45461_12.fir.kt | 0 .../kt45461_12.kt | 0 .../kt45461_12.txt | 0 .../kt45461_13.kt | 0 .../kt45461_13.txt | 0 .../kt45461_14.kt | 0 .../kt45461_14.txt | 0 .../kt45461_15.diag.txt | 0 .../kt45461_15.fir.kt | 0 .../kt45461_15.kt | 0 .../kt45461_15.txt | 0 .../kt45461_16.kt | 0 .../kt45461_16.txt | 0 .../kt45461_17.kt | 0 .../kt45461_17.txt | 0 .../kt45461_18.kt | 0 .../kt45461_18.txt | 0 .../kt45461_19.diag.txt | 0 .../kt45461_19.fir.kt | 0 .../kt45461_19.kt | 0 .../kt45461_19.txt | 0 .../kt45461_2.diag.txt | 0 .../kt45461_2.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt45461_2.kt | 0 .../kt45461_2.txt | 0 .../kt45461_20.kt | 0 .../kt45461_20.txt | 0 .../kt45461_21.diag.txt | 0 .../kt45461_21.fir.kt | 0 .../kt45461_21.kt | 0 .../kt45461_21.txt | 0 .../kt45461_22.kt | 0 .../kt45461_22.txt | 0 .../kt45461_23.kt | 0 .../kt45461_23.txt | 0 .../kt45461_24.diag.txt | 0 .../kt45461_24.fir.kt | 0 .../kt45461_24.kt | 0 .../kt45461_24.txt | 0 .../kt45461_25.diag.txt | 0 .../kt45461_25.fir.kt | 0 .../kt45461_25.kt | 0 .../kt45461_25.txt | 0 .../kt45461_26.diag.txt | 0 .../kt45461_26.fir.kt | 0 .../kt45461_26.kt | 0 .../kt45461_26.txt | 0 .../kt45461_27.kt | 0 .../kt45461_27.txt | 0 .../kt45461_28.fir.kt | 0 .../kt45461_28.kt | 0 .../kt45461_28.txt | 0 .../{ => emptyIntersectionTypes}/kt45461_3.kt | 0 .../kt45461_3.txt | 0 .../{ => emptyIntersectionTypes}/kt45461_4.kt | 0 .../kt45461_4.txt | 0 .../kt45461_5.diag.txt | 0 .../kt45461_5.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt45461_5.kt | 0 .../kt45461_5.txt | 0 .../{ => emptyIntersectionTypes}/kt45461_6.kt | 0 .../kt45461_6.txt | 0 .../{ => emptyIntersectionTypes}/kt45461_7.kt | 0 .../kt45461_7.txt | 0 .../kt45461_8.diag.txt | 0 .../kt45461_8.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt45461_8.kt | 0 .../kt45461_8.txt | 0 .../kt45461_9.diag.txt | 0 .../kt45461_9.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt45461_9.kt | 0 .../kt45461_9.txt | 0 .../kt48765.diag.txt | 0 .../kt48765.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt48765.kt | 0 .../{ => emptyIntersectionTypes}/kt48765.txt | 0 .../kt48935.diag.txt | 0 .../{ => emptyIntersectionTypes}/kt48935.kt | 0 .../{ => emptyIntersectionTypes}/kt48935.txt | 0 .../{ => emptyIntersectionTypes}/kt48935_2.kt | 0 .../kt48935_2.txt | 0 .../kt48935_3.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt48935_3.kt | 0 .../kt48935_3.txt | 0 .../kt48935_4.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt48935_4.kt | 0 .../kt48935_4.txt | 0 .../{ => emptyIntersectionTypes}/kt48935_5.kt | 0 .../kt48935_5.txt | 0 .../{ => emptyIntersectionTypes}/kt48935_6.kt | 0 .../kt48935_6.txt | 0 .../kt49661.diag.txt | 0 .../kt49661.fir.kt | 0 .../{ => emptyIntersectionTypes}/kt49661.kt | 0 .../{ => emptyIntersectionTypes}/kt49661.txt | 0 .../nullableEmptyIntersection.fir.kt | 0 .../nullableEmptyIntersection.kt | 0 .../nullableEmptyIntersection.txt | 0 ...romCovariantAndContravariantTypes.diag.txt | 0 ...tFromCovariantAndContravariantTypes.fir.kt | 0 ...electFromCovariantAndContravariantTypes.kt | 0 ...lectFromCovariantAndContravariantTypes.txt | 0 .../test/runners/DiagnosticTestGenerated.java | 478 +++++++++--------- 118 files changed, 732 insertions(+), 702 deletions(-) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/compatibilityResolveWhenVariableHasComplexIntersectionType.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/compatibilityResolveWhenVariableHasComplexIntersectionType.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_10.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_10.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_11.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_11.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_11.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_12.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_12.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_12.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_12.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_13.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_13.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_14.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_14.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_15.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_15.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_15.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_15.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_16.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_16.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_17.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_17.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_18.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_18.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_19.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_19.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_19.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_19.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_2.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_2.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_2.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_2.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_20.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_20.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_21.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_21.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_21.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_21.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_22.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_22.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_23.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_23.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_24.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_24.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_24.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_24.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_25.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_25.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_25.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_25.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_26.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_26.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_26.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_26.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_27.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_27.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_28.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_28.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_28.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_3.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_3.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_4.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_4.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_5.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_5.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_5.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_5.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_6.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_6.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_7.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_7.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_8.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_8.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_8.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_8.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_9.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_9.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_9.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt45461_9.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48765.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48765.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48765.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48765.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_2.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_2.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_3.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_3.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_3.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_4.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_4.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_4.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_5.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_5.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_6.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt48935_6.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt49661.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt49661.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt49661.kt (100%) rename compiler/testData/diagnostics/tests/inference/{ => emptyIntersectionTypes}/kt49661.txt (100%) rename compiler/testData/diagnostics/tests/inference/{upperBounds => emptyIntersectionTypes}/nullableEmptyIntersection.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{upperBounds => emptyIntersectionTypes}/nullableEmptyIntersection.kt (100%) rename compiler/testData/diagnostics/tests/inference/{upperBounds => emptyIntersectionTypes}/nullableEmptyIntersection.txt (100%) rename compiler/testData/diagnostics/tests/inference/{commonSystem => emptyIntersectionTypes}/selectFromCovariantAndContravariantTypes.diag.txt (100%) rename compiler/testData/diagnostics/tests/inference/{commonSystem => emptyIntersectionTypes}/selectFromCovariantAndContravariantTypes.fir.kt (100%) rename compiler/testData/diagnostics/tests/inference/{commonSystem => emptyIntersectionTypes}/selectFromCovariantAndContravariantTypes.kt (100%) rename compiler/testData/diagnostics/tests/inference/{commonSystem => emptyIntersectionTypes}/selectFromCovariantAndContravariantTypes.txt (100%) diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java index c18d273afa4..b588925995f 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java @@ -13492,12 +13492,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/commonSuperTypeOfTypesWithErrorSupertypes.kt"); } - @Test - @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") - public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); - } - @Test @TestMetadata("completeInferenceIfManyFailed.kt") public void testCompleteInferenceIfManyFailed() throws Exception { @@ -13834,174 +13828,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/kt40396.kt"); } - @Test - @TestMetadata("kt45461.kt") - public void testKt45461() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461.kt"); - } - - @Test - @TestMetadata("kt45461_10.kt") - public void testKt45461_10() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_10.kt"); - } - - @Test - @TestMetadata("kt45461_11.kt") - public void testKt45461_11() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_11.kt"); - } - - @Test - @TestMetadata("kt45461_12.kt") - public void testKt45461_12() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_12.kt"); - } - - @Test - @TestMetadata("kt45461_13.kt") - public void testKt45461_13() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_13.kt"); - } - - @Test - @TestMetadata("kt45461_14.kt") - public void testKt45461_14() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_14.kt"); - } - - @Test - @TestMetadata("kt45461_15.kt") - public void testKt45461_15() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_15.kt"); - } - - @Test - @TestMetadata("kt45461_16.kt") - public void testKt45461_16() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_16.kt"); - } - - @Test - @TestMetadata("kt45461_17.kt") - public void testKt45461_17() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_17.kt"); - } - - @Test - @TestMetadata("kt45461_18.kt") - public void testKt45461_18() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_18.kt"); - } - - @Test - @TestMetadata("kt45461_19.kt") - public void testKt45461_19() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_19.kt"); - } - - @Test - @TestMetadata("kt45461_2.kt") - public void testKt45461_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_2.kt"); - } - - @Test - @TestMetadata("kt45461_20.kt") - public void testKt45461_20() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_20.kt"); - } - - @Test - @TestMetadata("kt45461_21.kt") - public void testKt45461_21() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_21.kt"); - } - - @Test - @TestMetadata("kt45461_22.kt") - public void testKt45461_22() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_22.kt"); - } - - @Test - @TestMetadata("kt45461_23.kt") - public void testKt45461_23() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_23.kt"); - } - - @Test - @TestMetadata("kt45461_24.kt") - public void testKt45461_24() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_24.kt"); - } - - @Test - @TestMetadata("kt45461_25.kt") - public void testKt45461_25() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_25.kt"); - } - - @Test - @TestMetadata("kt45461_26.kt") - public void testKt45461_26() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_26.kt"); - } - - @Test - @TestMetadata("kt45461_27.kt") - public void testKt45461_27() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_27.kt"); - } - - @Test - @TestMetadata("kt45461_28.kt") - public void testKt45461_28() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_28.kt"); - } - - @Test - @TestMetadata("kt45461_3.kt") - public void testKt45461_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_3.kt"); - } - - @Test - @TestMetadata("kt45461_4.kt") - public void testKt45461_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_4.kt"); - } - - @Test - @TestMetadata("kt45461_5.kt") - public void testKt45461_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_5.kt"); - } - - @Test - @TestMetadata("kt45461_6.kt") - public void testKt45461_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_6.kt"); - } - - @Test - @TestMetadata("kt45461_7.kt") - public void testKt45461_7() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_7.kt"); - } - - @Test - @TestMetadata("kt45461_8.kt") - public void testKt45461_8() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_8.kt"); - } - - @Test - @TestMetadata("kt45461_9.kt") - public void testKt45461_9() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_9.kt"); - } - @Test @TestMetadata("kt46515.kt") public void testKt46515() throws Exception { @@ -14014,48 +13840,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/kt47316.kt"); } - @Test - @TestMetadata("kt48765.kt") - public void testKt48765() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48765.kt"); - } - - @Test - @TestMetadata("kt48935.kt") - public void testKt48935() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935.kt"); - } - - @Test - @TestMetadata("kt48935_2.kt") - public void testKt48935_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_2.kt"); - } - - @Test - @TestMetadata("kt48935_3.kt") - public void testKt48935_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_3.kt"); - } - - @Test - @TestMetadata("kt48935_4.kt") - public void testKt48935_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_4.kt"); - } - - @Test - @TestMetadata("kt48935_5.kt") - public void testKt48935_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_5.kt"); - } - - @Test - @TestMetadata("kt48935_6.kt") - public void testKt48935_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_6.kt"); - } - @Test @TestMetadata("kt49658.kt") public void testKt49658() throws Exception { @@ -14068,12 +13852,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/kt49658Strict.kt"); } - @Test - @TestMetadata("kt49661.kt") - public void testKt49661() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt49661.kt"); - } - @Test @TestMetadata("kt6175.kt") public void testKt6175() throws Exception { @@ -15051,12 +14829,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/commonSystem/postponedCompletionWithExactAnnotation_ni.kt"); } - @Test - @TestMetadata("selectFromCovariantAndContravariantTypes.kt") - public void testSelectFromCovariantAndContravariantTypes() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.kt"); - } - @Test @TestMetadata("selectFromTwoIncompatibleTypes.kt") public void testSelectFromTwoIncompatibleTypes() throws Exception { @@ -15430,6 +15202,250 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti } } + @Nested + @TestMetadata("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes") + @TestDataPath("$PROJECT_ROOT") + public class EmptyIntersectionTypes { + @Test + public void testAllFilesPresentInEmptyIntersectionTypes() throws Exception { + KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.fir\\.kts?$"), true); + } + + @Test + @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") + public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); + } + + @Test + @TestMetadata("kt45461.kt") + public void testKt45461() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.kt"); + } + + @Test + @TestMetadata("kt45461_10.kt") + public void testKt45461_10() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.kt"); + } + + @Test + @TestMetadata("kt45461_11.kt") + public void testKt45461_11() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.kt"); + } + + @Test + @TestMetadata("kt45461_12.kt") + public void testKt45461_12() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.kt"); + } + + @Test + @TestMetadata("kt45461_13.kt") + public void testKt45461_13() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.kt"); + } + + @Test + @TestMetadata("kt45461_14.kt") + public void testKt45461_14() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.kt"); + } + + @Test + @TestMetadata("kt45461_15.kt") + public void testKt45461_15() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.kt"); + } + + @Test + @TestMetadata("kt45461_16.kt") + public void testKt45461_16() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.kt"); + } + + @Test + @TestMetadata("kt45461_17.kt") + public void testKt45461_17() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.kt"); + } + + @Test + @TestMetadata("kt45461_18.kt") + public void testKt45461_18() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.kt"); + } + + @Test + @TestMetadata("kt45461_19.kt") + public void testKt45461_19() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.kt"); + } + + @Test + @TestMetadata("kt45461_2.kt") + public void testKt45461_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.kt"); + } + + @Test + @TestMetadata("kt45461_20.kt") + public void testKt45461_20() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.kt"); + } + + @Test + @TestMetadata("kt45461_21.kt") + public void testKt45461_21() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.kt"); + } + + @Test + @TestMetadata("kt45461_22.kt") + public void testKt45461_22() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.kt"); + } + + @Test + @TestMetadata("kt45461_23.kt") + public void testKt45461_23() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.kt"); + } + + @Test + @TestMetadata("kt45461_24.kt") + public void testKt45461_24() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.kt"); + } + + @Test + @TestMetadata("kt45461_25.kt") + public void testKt45461_25() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.kt"); + } + + @Test + @TestMetadata("kt45461_26.kt") + public void testKt45461_26() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.kt"); + } + + @Test + @TestMetadata("kt45461_27.kt") + public void testKt45461_27() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.kt"); + } + + @Test + @TestMetadata("kt45461_28.kt") + public void testKt45461_28() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.kt"); + } + + @Test + @TestMetadata("kt45461_3.kt") + public void testKt45461_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.kt"); + } + + @Test + @TestMetadata("kt45461_4.kt") + public void testKt45461_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.kt"); + } + + @Test + @TestMetadata("kt45461_5.kt") + public void testKt45461_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.kt"); + } + + @Test + @TestMetadata("kt45461_6.kt") + public void testKt45461_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.kt"); + } + + @Test + @TestMetadata("kt45461_7.kt") + public void testKt45461_7() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.kt"); + } + + @Test + @TestMetadata("kt45461_8.kt") + public void testKt45461_8() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.kt"); + } + + @Test + @TestMetadata("kt45461_9.kt") + public void testKt45461_9() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.kt"); + } + + @Test + @TestMetadata("kt48765.kt") + public void testKt48765() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.kt"); + } + + @Test + @TestMetadata("kt48935.kt") + public void testKt48935() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.kt"); + } + + @Test + @TestMetadata("kt48935_2.kt") + public void testKt48935_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.kt"); + } + + @Test + @TestMetadata("kt48935_3.kt") + public void testKt48935_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.kt"); + } + + @Test + @TestMetadata("kt48935_4.kt") + public void testKt48935_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.kt"); + } + + @Test + @TestMetadata("kt48935_5.kt") + public void testKt48935_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.kt"); + } + + @Test + @TestMetadata("kt48935_6.kt") + public void testKt48935_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.kt"); + } + + @Test + @TestMetadata("kt49661.kt") + public void testKt49661() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt"); + } + + @Test + @TestMetadata("nullableEmptyIntersection.kt") + public void testNullableEmptyIntersection() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.kt"); + } + + @Test + @TestMetadata("selectFromCovariantAndContravariantTypes.kt") + public void testSelectFromCovariantAndContravariantTypes() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.kt"); + } + } + @Nested @TestMetadata("compiler/testData/diagnostics/tests/inference/nestedCalls") @TestDataPath("$PROJECT_ROOT") @@ -16627,12 +16643,6 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nonNullUpperBound.kt"); } - @Test - @TestMetadata("nullableEmptyIntersection.kt") - public void testNullableEmptyIntersection() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.kt"); - } - @Test @TestMetadata("typeParameterAsUpperBound.kt") public void testTypeParameterAsUpperBound() throws Exception { diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java index 8123178951d..2e831ba703b 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java @@ -13492,12 +13492,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/commonSuperTypeOfTypesWithErrorSupertypes.kt"); } - @Test - @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") - public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); - } - @Test @TestMetadata("completeInferenceIfManyFailed.kt") public void testCompleteInferenceIfManyFailed() throws Exception { @@ -13834,174 +13828,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/kt40396.kt"); } - @Test - @TestMetadata("kt45461.kt") - public void testKt45461() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461.kt"); - } - - @Test - @TestMetadata("kt45461_10.kt") - public void testKt45461_10() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_10.kt"); - } - - @Test - @TestMetadata("kt45461_11.kt") - public void testKt45461_11() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_11.kt"); - } - - @Test - @TestMetadata("kt45461_12.kt") - public void testKt45461_12() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_12.kt"); - } - - @Test - @TestMetadata("kt45461_13.kt") - public void testKt45461_13() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_13.kt"); - } - - @Test - @TestMetadata("kt45461_14.kt") - public void testKt45461_14() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_14.kt"); - } - - @Test - @TestMetadata("kt45461_15.kt") - public void testKt45461_15() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_15.kt"); - } - - @Test - @TestMetadata("kt45461_16.kt") - public void testKt45461_16() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_16.kt"); - } - - @Test - @TestMetadata("kt45461_17.kt") - public void testKt45461_17() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_17.kt"); - } - - @Test - @TestMetadata("kt45461_18.kt") - public void testKt45461_18() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_18.kt"); - } - - @Test - @TestMetadata("kt45461_19.kt") - public void testKt45461_19() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_19.kt"); - } - - @Test - @TestMetadata("kt45461_2.kt") - public void testKt45461_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_2.kt"); - } - - @Test - @TestMetadata("kt45461_20.kt") - public void testKt45461_20() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_20.kt"); - } - - @Test - @TestMetadata("kt45461_21.kt") - public void testKt45461_21() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_21.kt"); - } - - @Test - @TestMetadata("kt45461_22.kt") - public void testKt45461_22() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_22.kt"); - } - - @Test - @TestMetadata("kt45461_23.kt") - public void testKt45461_23() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_23.kt"); - } - - @Test - @TestMetadata("kt45461_24.kt") - public void testKt45461_24() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_24.kt"); - } - - @Test - @TestMetadata("kt45461_25.kt") - public void testKt45461_25() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_25.kt"); - } - - @Test - @TestMetadata("kt45461_26.kt") - public void testKt45461_26() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_26.kt"); - } - - @Test - @TestMetadata("kt45461_27.kt") - public void testKt45461_27() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_27.kt"); - } - - @Test - @TestMetadata("kt45461_28.kt") - public void testKt45461_28() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_28.kt"); - } - - @Test - @TestMetadata("kt45461_3.kt") - public void testKt45461_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_3.kt"); - } - - @Test - @TestMetadata("kt45461_4.kt") - public void testKt45461_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_4.kt"); - } - - @Test - @TestMetadata("kt45461_5.kt") - public void testKt45461_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_5.kt"); - } - - @Test - @TestMetadata("kt45461_6.kt") - public void testKt45461_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_6.kt"); - } - - @Test - @TestMetadata("kt45461_7.kt") - public void testKt45461_7() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_7.kt"); - } - - @Test - @TestMetadata("kt45461_8.kt") - public void testKt45461_8() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_8.kt"); - } - - @Test - @TestMetadata("kt45461_9.kt") - public void testKt45461_9() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_9.kt"); - } - @Test @TestMetadata("kt46515.kt") public void testKt46515() throws Exception { @@ -14014,48 +13840,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/kt47316.kt"); } - @Test - @TestMetadata("kt48765.kt") - public void testKt48765() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48765.kt"); - } - - @Test - @TestMetadata("kt48935.kt") - public void testKt48935() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935.kt"); - } - - @Test - @TestMetadata("kt48935_2.kt") - public void testKt48935_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_2.kt"); - } - - @Test - @TestMetadata("kt48935_3.kt") - public void testKt48935_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_3.kt"); - } - - @Test - @TestMetadata("kt48935_4.kt") - public void testKt48935_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_4.kt"); - } - - @Test - @TestMetadata("kt48935_5.kt") - public void testKt48935_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_5.kt"); - } - - @Test - @TestMetadata("kt48935_6.kt") - public void testKt48935_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_6.kt"); - } - @Test @TestMetadata("kt49658.kt") public void testKt49658() throws Exception { @@ -14068,12 +13852,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/kt49658Strict.kt"); } - @Test - @TestMetadata("kt49661.kt") - public void testKt49661() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt49661.kt"); - } - @Test @TestMetadata("kt6175.kt") public void testKt6175() throws Exception { @@ -15051,12 +14829,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/commonSystem/postponedCompletionWithExactAnnotation_ni.kt"); } - @Test - @TestMetadata("selectFromCovariantAndContravariantTypes.kt") - public void testSelectFromCovariantAndContravariantTypes() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.kt"); - } - @Test @TestMetadata("selectFromTwoIncompatibleTypes.kt") public void testSelectFromTwoIncompatibleTypes() throws Exception { @@ -15430,6 +15202,250 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac } } + @Nested + @TestMetadata("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes") + @TestDataPath("$PROJECT_ROOT") + public class EmptyIntersectionTypes { + @Test + public void testAllFilesPresentInEmptyIntersectionTypes() throws Exception { + KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes"), Pattern.compile("^(.+)\\.kt$"), Pattern.compile("^(.+)\\.fir\\.kts?$"), true); + } + + @Test + @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") + public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); + } + + @Test + @TestMetadata("kt45461.kt") + public void testKt45461() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.kt"); + } + + @Test + @TestMetadata("kt45461_10.kt") + public void testKt45461_10() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.kt"); + } + + @Test + @TestMetadata("kt45461_11.kt") + public void testKt45461_11() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.kt"); + } + + @Test + @TestMetadata("kt45461_12.kt") + public void testKt45461_12() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.kt"); + } + + @Test + @TestMetadata("kt45461_13.kt") + public void testKt45461_13() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.kt"); + } + + @Test + @TestMetadata("kt45461_14.kt") + public void testKt45461_14() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.kt"); + } + + @Test + @TestMetadata("kt45461_15.kt") + public void testKt45461_15() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.kt"); + } + + @Test + @TestMetadata("kt45461_16.kt") + public void testKt45461_16() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.kt"); + } + + @Test + @TestMetadata("kt45461_17.kt") + public void testKt45461_17() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.kt"); + } + + @Test + @TestMetadata("kt45461_18.kt") + public void testKt45461_18() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.kt"); + } + + @Test + @TestMetadata("kt45461_19.kt") + public void testKt45461_19() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.kt"); + } + + @Test + @TestMetadata("kt45461_2.kt") + public void testKt45461_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.kt"); + } + + @Test + @TestMetadata("kt45461_20.kt") + public void testKt45461_20() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.kt"); + } + + @Test + @TestMetadata("kt45461_21.kt") + public void testKt45461_21() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.kt"); + } + + @Test + @TestMetadata("kt45461_22.kt") + public void testKt45461_22() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.kt"); + } + + @Test + @TestMetadata("kt45461_23.kt") + public void testKt45461_23() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.kt"); + } + + @Test + @TestMetadata("kt45461_24.kt") + public void testKt45461_24() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.kt"); + } + + @Test + @TestMetadata("kt45461_25.kt") + public void testKt45461_25() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.kt"); + } + + @Test + @TestMetadata("kt45461_26.kt") + public void testKt45461_26() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.kt"); + } + + @Test + @TestMetadata("kt45461_27.kt") + public void testKt45461_27() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.kt"); + } + + @Test + @TestMetadata("kt45461_28.kt") + public void testKt45461_28() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.kt"); + } + + @Test + @TestMetadata("kt45461_3.kt") + public void testKt45461_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.kt"); + } + + @Test + @TestMetadata("kt45461_4.kt") + public void testKt45461_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.kt"); + } + + @Test + @TestMetadata("kt45461_5.kt") + public void testKt45461_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.kt"); + } + + @Test + @TestMetadata("kt45461_6.kt") + public void testKt45461_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.kt"); + } + + @Test + @TestMetadata("kt45461_7.kt") + public void testKt45461_7() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.kt"); + } + + @Test + @TestMetadata("kt45461_8.kt") + public void testKt45461_8() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.kt"); + } + + @Test + @TestMetadata("kt45461_9.kt") + public void testKt45461_9() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.kt"); + } + + @Test + @TestMetadata("kt48765.kt") + public void testKt48765() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.kt"); + } + + @Test + @TestMetadata("kt48935.kt") + public void testKt48935() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.kt"); + } + + @Test + @TestMetadata("kt48935_2.kt") + public void testKt48935_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.kt"); + } + + @Test + @TestMetadata("kt48935_3.kt") + public void testKt48935_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.kt"); + } + + @Test + @TestMetadata("kt48935_4.kt") + public void testKt48935_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.kt"); + } + + @Test + @TestMetadata("kt48935_5.kt") + public void testKt48935_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.kt"); + } + + @Test + @TestMetadata("kt48935_6.kt") + public void testKt48935_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.kt"); + } + + @Test + @TestMetadata("kt49661.kt") + public void testKt49661() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt"); + } + + @Test + @TestMetadata("nullableEmptyIntersection.kt") + public void testNullableEmptyIntersection() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.kt"); + } + + @Test + @TestMetadata("selectFromCovariantAndContravariantTypes.kt") + public void testSelectFromCovariantAndContravariantTypes() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.kt"); + } + } + @Nested @TestMetadata("compiler/testData/diagnostics/tests/inference/nestedCalls") @TestDataPath("$PROJECT_ROOT") @@ -16627,12 +16643,6 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nonNullUpperBound.kt"); } - @Test - @TestMetadata("nullableEmptyIntersection.kt") - public void testNullableEmptyIntersection() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.kt"); - } - @Test @TestMetadata("typeParameterAsUpperBound.kt") public void testTypeParameterAsUpperBound() throws Exception { diff --git a/compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.kt diff --git a/compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_10.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_10.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_10.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_10.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_11.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_11.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_11.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_11.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_11.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_11.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_12.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_12.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_12.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_12.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_12.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_12.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_12.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_12.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_13.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_13.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_13.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_13.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_14.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_14.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_14.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_14.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_15.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_15.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_15.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_15.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_15.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_15.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_15.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_15.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_16.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_16.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_16.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_16.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_17.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_17.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_17.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_17.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_18.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_18.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_18.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_18.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_19.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_19.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_19.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_19.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_19.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_19.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_19.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_19.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_2.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_2.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_2.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_2.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_2.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_2.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_2.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_2.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_20.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_20.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_20.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_20.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_21.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_21.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_21.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_21.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_21.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_21.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_21.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_21.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_22.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_22.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_22.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_22.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_23.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_23.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_23.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_23.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_24.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_24.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_24.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_24.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_24.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_24.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_24.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_24.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_25.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_25.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_25.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_25.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_25.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_25.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_25.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_25.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_26.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_26.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_26.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_26.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_26.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_26.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_26.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_26.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_27.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_27.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_27.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_27.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_28.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_28.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_28.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_28.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_28.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_28.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_3.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_3.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_3.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_3.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_4.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_4.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_4.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_4.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_5.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_5.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_5.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_5.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_5.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_5.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_5.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_5.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_6.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_6.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_6.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_6.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_7.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_7.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_7.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_7.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_8.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_8.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_8.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_8.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_8.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_8.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_8.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_8.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_9.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_9.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_9.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_9.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_9.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_9.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt45461_9.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt45461_9.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48765.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48765.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48765.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48765.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48765.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48765.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48765.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48765.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_2.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_2.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_2.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_2.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_3.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_3.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_3.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_3.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_3.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_3.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_4.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_4.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_4.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_4.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_4.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_4.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_5.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_5.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_5.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_5.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_6.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_6.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt48935_6.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt48935_6.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt49661.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt49661.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/kt49661.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt49661.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt49661.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt49661.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt diff --git a/compiler/testData/diagnostics/tests/inference/kt49661.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/kt49661.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.txt diff --git a/compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.kt diff --git a/compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.txt diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.diag.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.diag.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.diag.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.diag.txt diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.fir.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.fir.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.fir.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.fir.kt diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.kt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.kt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.kt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.kt diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.txt b/compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.txt similarity index 100% rename from compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.txt rename to compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.txt diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java index bded9a046df..d9ccd8c7fad 100644 --- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java +++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java @@ -13498,12 +13498,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/commonSuperTypeOfTypesWithErrorSupertypes.kt"); } - @Test - @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") - public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); - } - @Test @TestMetadata("completeInferenceIfManyFailed.kt") public void testCompleteInferenceIfManyFailed() throws Exception { @@ -13840,174 +13834,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/kt40396.kt"); } - @Test - @TestMetadata("kt45461.kt") - public void testKt45461() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461.kt"); - } - - @Test - @TestMetadata("kt45461_10.kt") - public void testKt45461_10() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_10.kt"); - } - - @Test - @TestMetadata("kt45461_11.kt") - public void testKt45461_11() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_11.kt"); - } - - @Test - @TestMetadata("kt45461_12.kt") - public void testKt45461_12() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_12.kt"); - } - - @Test - @TestMetadata("kt45461_13.kt") - public void testKt45461_13() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_13.kt"); - } - - @Test - @TestMetadata("kt45461_14.kt") - public void testKt45461_14() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_14.kt"); - } - - @Test - @TestMetadata("kt45461_15.kt") - public void testKt45461_15() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_15.kt"); - } - - @Test - @TestMetadata("kt45461_16.kt") - public void testKt45461_16() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_16.kt"); - } - - @Test - @TestMetadata("kt45461_17.kt") - public void testKt45461_17() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_17.kt"); - } - - @Test - @TestMetadata("kt45461_18.kt") - public void testKt45461_18() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_18.kt"); - } - - @Test - @TestMetadata("kt45461_19.kt") - public void testKt45461_19() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_19.kt"); - } - - @Test - @TestMetadata("kt45461_2.kt") - public void testKt45461_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_2.kt"); - } - - @Test - @TestMetadata("kt45461_20.kt") - public void testKt45461_20() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_20.kt"); - } - - @Test - @TestMetadata("kt45461_21.kt") - public void testKt45461_21() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_21.kt"); - } - - @Test - @TestMetadata("kt45461_22.kt") - public void testKt45461_22() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_22.kt"); - } - - @Test - @TestMetadata("kt45461_23.kt") - public void testKt45461_23() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_23.kt"); - } - - @Test - @TestMetadata("kt45461_24.kt") - public void testKt45461_24() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_24.kt"); - } - - @Test - @TestMetadata("kt45461_25.kt") - public void testKt45461_25() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_25.kt"); - } - - @Test - @TestMetadata("kt45461_26.kt") - public void testKt45461_26() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_26.kt"); - } - - @Test - @TestMetadata("kt45461_27.kt") - public void testKt45461_27() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_27.kt"); - } - - @Test - @TestMetadata("kt45461_28.kt") - public void testKt45461_28() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_28.kt"); - } - - @Test - @TestMetadata("kt45461_3.kt") - public void testKt45461_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_3.kt"); - } - - @Test - @TestMetadata("kt45461_4.kt") - public void testKt45461_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_4.kt"); - } - - @Test - @TestMetadata("kt45461_5.kt") - public void testKt45461_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_5.kt"); - } - - @Test - @TestMetadata("kt45461_6.kt") - public void testKt45461_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_6.kt"); - } - - @Test - @TestMetadata("kt45461_7.kt") - public void testKt45461_7() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_7.kt"); - } - - @Test - @TestMetadata("kt45461_8.kt") - public void testKt45461_8() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_8.kt"); - } - - @Test - @TestMetadata("kt45461_9.kt") - public void testKt45461_9() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt45461_9.kt"); - } - @Test @TestMetadata("kt46515.kt") public void testKt46515() throws Exception { @@ -14020,48 +13846,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/kt47316.kt"); } - @Test - @TestMetadata("kt48765.kt") - public void testKt48765() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48765.kt"); - } - - @Test - @TestMetadata("kt48935.kt") - public void testKt48935() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935.kt"); - } - - @Test - @TestMetadata("kt48935_2.kt") - public void testKt48935_2() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_2.kt"); - } - - @Test - @TestMetadata("kt48935_3.kt") - public void testKt48935_3() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_3.kt"); - } - - @Test - @TestMetadata("kt48935_4.kt") - public void testKt48935_4() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_4.kt"); - } - - @Test - @TestMetadata("kt48935_5.kt") - public void testKt48935_5() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_5.kt"); - } - - @Test - @TestMetadata("kt48935_6.kt") - public void testKt48935_6() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt48935_6.kt"); - } - @Test @TestMetadata("kt49658.kt") public void testKt49658() throws Exception { @@ -14074,12 +13858,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/kt49658Strict.kt"); } - @Test - @TestMetadata("kt49661.kt") - public void testKt49661() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/kt49661.kt"); - } - @Test @TestMetadata("kt6175.kt") public void testKt6175() throws Exception { @@ -15057,12 +14835,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/commonSystem/postponedCompletionWithExactAnnotation_ni.kt"); } - @Test - @TestMetadata("selectFromCovariantAndContravariantTypes.kt") - public void testSelectFromCovariantAndContravariantTypes() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/commonSystem/selectFromCovariantAndContravariantTypes.kt"); - } - @Test @TestMetadata("selectFromTwoIncompatibleTypes.kt") public void testSelectFromTwoIncompatibleTypes() throws Exception { @@ -15436,6 +15208,250 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { } } + @Nested + @TestMetadata("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes") + @TestDataPath("$PROJECT_ROOT") + public class EmptyIntersectionTypes { + @Test + public void testAllFilesPresentInEmptyIntersectionTypes() throws Exception { + KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes"), Pattern.compile("^(.*)\\.kts?$"), Pattern.compile("^(.+)\\.fir\\.kts?$"), true); + } + + @Test + @TestMetadata("compatibilityResolveWhenVariableHasComplexIntersectionType.kt") + public void testCompatibilityResolveWhenVariableHasComplexIntersectionType() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/compatibilityResolveWhenVariableHasComplexIntersectionType.kt"); + } + + @Test + @TestMetadata("kt45461.kt") + public void testKt45461() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461.kt"); + } + + @Test + @TestMetadata("kt45461_10.kt") + public void testKt45461_10() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_10.kt"); + } + + @Test + @TestMetadata("kt45461_11.kt") + public void testKt45461_11() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_11.kt"); + } + + @Test + @TestMetadata("kt45461_12.kt") + public void testKt45461_12() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_12.kt"); + } + + @Test + @TestMetadata("kt45461_13.kt") + public void testKt45461_13() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_13.kt"); + } + + @Test + @TestMetadata("kt45461_14.kt") + public void testKt45461_14() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_14.kt"); + } + + @Test + @TestMetadata("kt45461_15.kt") + public void testKt45461_15() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_15.kt"); + } + + @Test + @TestMetadata("kt45461_16.kt") + public void testKt45461_16() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_16.kt"); + } + + @Test + @TestMetadata("kt45461_17.kt") + public void testKt45461_17() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_17.kt"); + } + + @Test + @TestMetadata("kt45461_18.kt") + public void testKt45461_18() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_18.kt"); + } + + @Test + @TestMetadata("kt45461_19.kt") + public void testKt45461_19() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_19.kt"); + } + + @Test + @TestMetadata("kt45461_2.kt") + public void testKt45461_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_2.kt"); + } + + @Test + @TestMetadata("kt45461_20.kt") + public void testKt45461_20() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_20.kt"); + } + + @Test + @TestMetadata("kt45461_21.kt") + public void testKt45461_21() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_21.kt"); + } + + @Test + @TestMetadata("kt45461_22.kt") + public void testKt45461_22() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_22.kt"); + } + + @Test + @TestMetadata("kt45461_23.kt") + public void testKt45461_23() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_23.kt"); + } + + @Test + @TestMetadata("kt45461_24.kt") + public void testKt45461_24() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_24.kt"); + } + + @Test + @TestMetadata("kt45461_25.kt") + public void testKt45461_25() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_25.kt"); + } + + @Test + @TestMetadata("kt45461_26.kt") + public void testKt45461_26() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_26.kt"); + } + + @Test + @TestMetadata("kt45461_27.kt") + public void testKt45461_27() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_27.kt"); + } + + @Test + @TestMetadata("kt45461_28.kt") + public void testKt45461_28() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_28.kt"); + } + + @Test + @TestMetadata("kt45461_3.kt") + public void testKt45461_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_3.kt"); + } + + @Test + @TestMetadata("kt45461_4.kt") + public void testKt45461_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_4.kt"); + } + + @Test + @TestMetadata("kt45461_5.kt") + public void testKt45461_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_5.kt"); + } + + @Test + @TestMetadata("kt45461_6.kt") + public void testKt45461_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_6.kt"); + } + + @Test + @TestMetadata("kt45461_7.kt") + public void testKt45461_7() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_7.kt"); + } + + @Test + @TestMetadata("kt45461_8.kt") + public void testKt45461_8() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_8.kt"); + } + + @Test + @TestMetadata("kt45461_9.kt") + public void testKt45461_9() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt45461_9.kt"); + } + + @Test + @TestMetadata("kt48765.kt") + public void testKt48765() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48765.kt"); + } + + @Test + @TestMetadata("kt48935.kt") + public void testKt48935() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935.kt"); + } + + @Test + @TestMetadata("kt48935_2.kt") + public void testKt48935_2() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_2.kt"); + } + + @Test + @TestMetadata("kt48935_3.kt") + public void testKt48935_3() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_3.kt"); + } + + @Test + @TestMetadata("kt48935_4.kt") + public void testKt48935_4() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_4.kt"); + } + + @Test + @TestMetadata("kt48935_5.kt") + public void testKt48935_5() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_5.kt"); + } + + @Test + @TestMetadata("kt48935_6.kt") + public void testKt48935_6() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt48935_6.kt"); + } + + @Test + @TestMetadata("kt49661.kt") + public void testKt49661() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt"); + } + + @Test + @TestMetadata("nullableEmptyIntersection.kt") + public void testNullableEmptyIntersection() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/nullableEmptyIntersection.kt"); + } + + @Test + @TestMetadata("selectFromCovariantAndContravariantTypes.kt") + public void testSelectFromCovariantAndContravariantTypes() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/selectFromCovariantAndContravariantTypes.kt"); + } + } + @Nested @TestMetadata("compiler/testData/diagnostics/tests/inference/nestedCalls") @TestDataPath("$PROJECT_ROOT") @@ -16633,12 +16649,6 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nonNullUpperBound.kt"); } - @Test - @TestMetadata("nullableEmptyIntersection.kt") - public void testNullableEmptyIntersection() throws Exception { - runTest("compiler/testData/diagnostics/tests/inference/upperBounds/nullableEmptyIntersection.kt"); - } - @Test @TestMetadata("typeParameterAsUpperBound.kt") public void testTypeParameterAsUpperBound() throws Exception {