azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

K2: reproduce KT-61844

Browse Source
This commit is contained in:
Mikhail Glukhikh
2023-09-20 17:10:48 +02:00
committed by Space Team
parent 36df749697
commit b9302869d5
9 changed files with 78 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java
Generated
+6
View File
@@ -28263,6 +28263,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
runTest("compiler/testData/diagnostics/tests/resolve/invoke/kt9805.kt");
}
@Test
@TestMetadata("privateInvokeOwner.kt")
public void testPrivateInvokeOwner() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt");
}
@Test
@TestMetadata("reportFunctionExpectedOnSimpleUnresolved.kt")
public void testReportFunctionExpectedOnSimpleUnresolved() throws Exception {
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
Generated
+6
View File
@@ -28263,6 +28263,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
runTest("compiler/testData/diagnostics/tests/resolve/invoke/kt9805.kt");
}
@Test
@TestMetadata("privateInvokeOwner.kt")
public void testPrivateInvokeOwner() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt");
}
@Test
@TestMetadata("reportFunctionExpectedOnSimpleUnresolved.kt")
public void testReportFunctionExpectedOnSimpleUnresolved() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -28263,6 +28263,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
runTest("compiler/testData/diagnostics/tests/resolve/invoke/kt9805.kt");
}
@Test
@TestMetadata("privateInvokeOwner.kt")
public void testPrivateInvokeOwner() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt");
}
@Test
@TestMetadata("reportFunctionExpectedOnSimpleUnresolved.kt")
public void testReportFunctionExpectedOnSimpleUnresolved() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -28275,6 +28275,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
runTest("compiler/testData/diagnostics/tests/resolve/invoke/kt9805.kt");
}
@Test
@TestMetadata("privateInvokeOwner.kt")
public void testPrivateInvokeOwner() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt");
}
@Test
@TestMetadata("reportFunctionExpectedOnSimpleUnresolved.kt")
public void testReportFunctionExpectedOnSimpleUnresolved() throws Exception {
compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.fir.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// ISSUE: KT-61844
// FIR_DUMP
class Foo<I, out O>(
private val transformer: (I) -> O,
) {
fun <I, O> transform(foo: Foo<I, O>, bar: I) {
foo.<!FUNCTION_EXPECTED!>transformer<!>(bar)
foo.<!INVISIBLE_REFERENCE!>transformer<!>.invoke(bar)
}
}
compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.fir.txt
Vendored
+15
View File
@@ -0,0 +1,15 @@
FILE: privateInvokeOwner.fir.kt
public final class Foo<I, out O> : R|kotlin/Any| {
public constructor<I, out O>(transformer: R|(I) -> O|): R|Foo<I, O>| {
super<R|kotlin/Any|>()
}
private/*private to this*/ final val transformer: R|(I) -> O| = R|<local>/transformer|
private/*private to this*/ get(): R|(I) -> O|
public final fun <I, O> transform(foo: R|Foo<I, O>|, bar: R|I|): R|kotlin/Unit| {
R|<local>/foo|.<Expression 'transformer' of type 'kotlin/Function1<I, O>' cannot be invoked as a function>#(R|<local>/bar|)
R|<local>/foo|.R|SubstitutionOverride</Foo.transformer: R|(I) -> O|><HIDDEN: /Foo.transformer is invisible>#|.R|SubstitutionOverride<kotlin/Function1.invoke: R|O|>|(R|<local>/bar|)
}
}
compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// ISSUE: KT-61844
// FIR_DUMP
class Foo<I, out O>(
private val transformer: (I) -> O,
) {
fun <I, O> transform(foo: Foo<I, O>, bar: I) {
foo.transformer(bar)
foo.transformer.invoke(bar)
}
}
compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.txt
Vendored
+11
View File
@@ -0,0 +1,11 @@
package
public final class Foo</*0*/ I, /*1*/ out O> {
public constructor Foo</*0*/ I, /*1*/ out O>(/*0*/ transformer: (I) -> O)
private final val transformer: (I) -> O
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
public final fun </*0*/ I, /*1*/ O> transform(/*0*/ foo: Foo<I, O>, /*1*/ bar: I): kotlin.Unit
}
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+6
View File
@@ -30057,6 +30057,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/kt9805.kt");
}
@Test
@TestMetadata("privateInvokeOwner.kt")
public void testPrivateInvokeOwner() throws Exception {
runTest("compiler/testData/diagnostics/tests/resolve/invoke/privateInvokeOwner.kt");
}
@Test
@TestMetadata("reportFunctionExpectedOnSimpleUnresolved.kt")
public void testReportFunctionExpectedOnSimpleUnresolved() throws Exception {