K2: add test for KT-56520, case (7), qualifier receivers (3)
This commit covers object vs static member case, when no companion objects are in the scope. K1 reports UNRESOLVED_REFERENCE here, probably due to ambiguity. About K2, while resolving Some.foo it first tries to resolve Some as a "general" variable access, and gets two erroneous candidates without companions. After it tries to resolve Some as a qualifier, but we have no scope with a single qualifier. That's why we finally report NONE_APPLICABLE on candidates with companions.
This commit is contained in:
committed by
Space Team
parent
602801dcfd
commit
76b2b9fc66
+6
@@ -44797,6 +44797,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
|
||||
runTest("compiler/testData/diagnostics/testsWithStdLib/resolve/ambiguousTypeReferences/qualifierForStaticCase.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("qualifierOrStaticObjectCase.kt")
|
||||
public void testQualifierOrStaticObjectCase() throws Exception {
|
||||
runTest("compiler/testData/diagnostics/testsWithStdLib/resolve/ambiguousTypeReferences/qualifierOrStaticObjectCase.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("qualifierStaticObjectOrCompanionMemberCase.kt")
|
||||
public void testQualifierStaticObjectOrCompanionMemberCase() throws Exception {
|
||||
|
||||
+6
@@ -44797,6 +44797,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
|
||||
runTest("compiler/testData/diagnostics/testsWithStdLib/resolve/ambiguousTypeReferences/qualifierForStaticCase.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("qualifierOrStaticObjectCase.kt")
|
||||
public void testQualifierOrStaticObjectCase() throws Exception {
|
||||
runTest("compiler/testData/diagnostics/testsWithStdLib/resolve/ambiguousTypeReferences/qualifierOrStaticObjectCase.kt");
|
||||
}
|
||||
|
||||
@Test
|
||||
@TestMetadata("qualifierStaticObjectOrCompanionMemberCase.kt")
|
||||
public void testQualifierStaticObjectOrCompanionMemberCase() throws Exception {
|
||||
|
||||
Reference in New Issue
Block a user