[FIR] Ensure the case from KT-63741 works

^KT-63741
This commit is contained in:
Nikolay Lunyak
2023-11-27 13:37:56 +02:00
committed by Space Team
parent 2ad0be7bdc
commit 249886fb13
6 changed files with 40 additions and 0 deletions
@@ -28894,6 +28894,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
runTest("compiler/testData/diagnostics/tests/override/intersectionOfSubstitutedProperties.kt");
}
@Test
@TestMetadata("intersectionOverrideWithProtectedAbstract.kt")
public void testIntersectionOverrideWithProtectedAbstract() throws Exception {
runTest("compiler/testData/diagnostics/tests/override/intersectionOverrideWithProtectedAbstract.kt");
}
@Test
@TestMetadata("intersectionOverrideWithSubsumedDifferentType.kt")
public void testIntersectionOverrideWithSubsumedDifferentType() throws Exception {
@@ -28894,6 +28894,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
runTest("compiler/testData/diagnostics/tests/override/intersectionOfSubstitutedProperties.kt");
}
@Test
@TestMetadata("intersectionOverrideWithProtectedAbstract.kt")
public void testIntersectionOverrideWithProtectedAbstract() throws Exception {
runTest("compiler/testData/diagnostics/tests/override/intersectionOverrideWithProtectedAbstract.kt");
}
@Test
@TestMetadata("intersectionOverrideWithSubsumedDifferentType.kt")
public void testIntersectionOverrideWithSubsumedDifferentType() throws Exception {
@@ -26640,6 +26640,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
runTest("compiler/testData/diagnostics/tests/override/intersectionOfSubstitutedProperties.kt");
}
@Test
@TestMetadata("intersectionOverrideWithProtectedAbstract.kt")
public void testIntersectionOverrideWithProtectedAbstract() throws Exception {
runTest("compiler/testData/diagnostics/tests/override/intersectionOverrideWithProtectedAbstract.kt");
}
@Test
@TestMetadata("intersectionOverrideWithSubsumedDifferentType.kt")
public void testIntersectionOverrideWithSubsumedDifferentType() throws Exception {
@@ -26646,6 +26646,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
runTest("compiler/testData/diagnostics/tests/override/intersectionOfSubstitutedProperties.kt");
}
@Test
@TestMetadata("intersectionOverrideWithProtectedAbstract.kt")
public void testIntersectionOverrideWithProtectedAbstract() throws Exception {
runTest("compiler/testData/diagnostics/tests/override/intersectionOverrideWithProtectedAbstract.kt");
}
@Test
@TestMetadata("intersectionOverrideWithSubsumedDifferentType.kt")
public void testIntersectionOverrideWithSubsumedDifferentType() throws Exception {
@@ -0,0 +1,10 @@
// FIR_IDENTICAL
public abstract class A {
protected abstract fun bar(): String
}
public interface B {
public fun bar(): String
}
public abstract class C: A(), B
@@ -28894,6 +28894,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
runTest("compiler/testData/diagnostics/tests/override/intersectionOfSubstitutedProperties.kt");
}
@Test
@TestMetadata("intersectionOverrideWithProtectedAbstract.kt")
public void testIntersectionOverrideWithProtectedAbstract() throws Exception {
runTest("compiler/testData/diagnostics/tests/override/intersectionOverrideWithProtectedAbstract.kt");
}
@Test
@TestMetadata("intersectionOverrideWithSubsumedDifferentType.kt")
public void testIntersectionOverrideWithSubsumedDifferentType() throws Exception {