Fix callable reference adaptation for vararg in fake override

`mappedVarargElements` are populated with parameters from
`argumentMapping`, which is computed using `ArgumentsToParametersMapper`
which calls `original` on all value parameters (see
ArgumentsToParametersMapper.kt:136).

So the code that adds empty lists for unassigned vararg parameters
should also call `original`. Otherwise, in the added test, we ended up
with two arguments for the parameter `s` in `id(::base1)`, one for
`Base.s` containing the correct value, and another for `Derived.s`
containing the empty list. Psi2ir took the last one, which resulted in
empty array being passed to the vararg parameter.

Note that all of this is caused by the fact that `original` of a fake
override parameter is the parameter of the base function. This seems
suspicious because `original` of a fake override _function_ is that fake
override itself (NOT the base function), but this would probably be very
risky to change at this point.

 #KT-48835 Fixed
This commit is contained in:
Alexander Udalov
2021-09-30 01:31:50 +02:00
parent 9857af7823
commit dbd28142d0
10 changed files with 87 additions and 3 deletions
@@ -3055,6 +3055,12 @@ public class FirBlackBoxCodegenTestGenerated extends AbstractFirBlackBoxCodegenT
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@Test
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@Test
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
@@ -9,7 +9,6 @@ import org.jetbrains.kotlin.builtins.KotlinBuiltIns
import org.jetbrains.kotlin.builtins.ReflectionTypes
import org.jetbrains.kotlin.builtins.isFunctionType
import org.jetbrains.kotlin.builtins.isSuspendFunctionType
import org.jetbrains.kotlin.config.ApiVersion
import org.jetbrains.kotlin.config.LanguageFeature
import org.jetbrains.kotlin.descriptors.*
import org.jetbrains.kotlin.descriptors.annotations.Annotations
@@ -218,8 +217,8 @@ class CallableReferencesCandidateFactory(
}
for (valueParameter in descriptor.valueParameters) {
if (valueParameter.isVararg && valueParameter !in mappedArguments) {
mappedArguments[valueParameter] = ResolvedCallArgument.VarargArgument(emptyList())
if (valueParameter.isVararg) {
mappedArguments.putIfAbsent(valueParameter.original, ResolvedCallArgument.VarargArgument(emptyList()))
}
}
@@ -0,0 +1,42 @@
var result = ""
abstract class Base {
fun base1(vararg s: String) {
if (s.size != 1) throw AssertionError("Fail size: ${s.size}")
result += s[0]
}
fun base2(s: String) {
result += s
}
}
fun id(f: (String) -> Unit): (String) -> Unit = f
class Derived : Base() {
init {
id { base1(it) }.invoke("1")
id(::base1).invoke("2")
id { base2(it) }.invoke("3")
id(::base2).invoke("4")
id { derived1(it) }.invoke("5")
id(::derived1).invoke("6")
id { derived2(it) }.invoke("7")
id(::derived2).invoke("8")
}
private fun derived1(vararg s: String) {
if (s.size != 1) throw AssertionError("Fail size: ${s.size}")
result += s[0]
}
private fun derived2(s: String) {
result += s
}
}
fun box(): String {
Derived()
return if (result == "12345678") "OK" else "Fail result: $result"
}
@@ -2983,6 +2983,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@Test
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@Test
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
@@ -3055,6 +3055,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@Test
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@Test
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
@@ -2616,6 +2616,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargViewedAsArray.kt");
@@ -1816,6 +1816,11 @@ public class IrJsCodegenBoxES6TestGenerated extends AbstractIrJsCodegenBoxES6Tes
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargViewedAsArray.kt");
@@ -1816,6 +1816,11 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargViewedAsArray.kt");
@@ -1781,6 +1781,11 @@ public class JsCodegenBoxTestGenerated extends AbstractJsCodegenBoxTest {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargViewedAsArray.kt");
@@ -1616,6 +1616,11 @@ public class IrCodegenBoxWasmTestGenerated extends AbstractIrCodegenBoxWasmTest
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/unboundReferences.kt");
}
@TestMetadata("varargFromBaseClass.kt")
public void testVarargFromBaseClass() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargFromBaseClass.kt");
}
@TestMetadata("varargViewedAsArray.kt")
public void testVarargViewedAsArray() throws Exception {
runTest("compiler/testData/codegen/box/callableReference/adaptedReferences/varargViewedAsArray.kt");