[FIR2IR] Unwrap named arguments for suspend conversion
#KT-65878 Fixed
This commit is contained in:
committed by
Space Team
parent
b054a4481d
commit
634f0c2ae7
+6
@@ -51475,6 +51475,12 @@ public class LLFirBlackBoxCodegenBasedTestGenerated extends AbstractLLFirBlackBo
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -51475,6 +51475,12 @@ public class LLFirReversedBlackBoxCodegenBasedTestGenerated extends AbstractLLFi
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+4
-6
@@ -20,7 +20,6 @@ import org.jetbrains.kotlin.fir.resolve.calls.FirFakeArgumentForCallableReferenc
|
|||||||
import org.jetbrains.kotlin.fir.resolve.calls.ResolvedCallArgument
|
import org.jetbrains.kotlin.fir.resolve.calls.ResolvedCallArgument
|
||||||
import org.jetbrains.kotlin.fir.resolve.substitution.AbstractConeSubstitutor
|
import org.jetbrains.kotlin.fir.resolve.substitution.AbstractConeSubstitutor
|
||||||
import org.jetbrains.kotlin.fir.resolve.toFirRegularClassSymbol
|
import org.jetbrains.kotlin.fir.resolve.toFirRegularClassSymbol
|
||||||
import org.jetbrains.kotlin.fir.resolve.toSymbol
|
|
||||||
import org.jetbrains.kotlin.fir.symbols.ConeTypeParameterLookupTag
|
import org.jetbrains.kotlin.fir.symbols.ConeTypeParameterLookupTag
|
||||||
import org.jetbrains.kotlin.fir.symbols.impl.FirFunctionSymbol
|
import org.jetbrains.kotlin.fir.symbols.impl.FirFunctionSymbol
|
||||||
import org.jetbrains.kotlin.fir.symbols.impl.FirTypeParameterSymbol
|
import org.jetbrains.kotlin.fir.symbols.impl.FirTypeParameterSymbol
|
||||||
@@ -411,10 +410,9 @@ internal class AdapterGenerator(
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
val unwrappedArgument = argument.unwrapArgument()
|
if (argument !is FirSamConversionExpression) return this
|
||||||
if (unwrappedArgument !is FirSamConversionExpression) return this
|
|
||||||
|
|
||||||
val samFirType = unwrappedArgument.resolvedType.let { it.removeExternalProjections() ?: it }
|
val samFirType = argument.resolvedType.let { it.removeExternalProjections() ?: it }
|
||||||
val samType = samFirType.toIrType(ConversionTypeOrigin.DEFAULT)
|
val samType = samFirType.toIrType(ConversionTypeOrigin.DEFAULT)
|
||||||
|
|
||||||
// Make sure the converted IrType owner indeed has a single abstract method, since FunctionReferenceLowering relies on it.
|
// Make sure the converted IrType owner indeed has a single abstract method, since FunctionReferenceLowering relies on it.
|
||||||
@@ -429,12 +427,12 @@ internal class AdapterGenerator(
|
|||||||
// BLOCK ADAPTED_FUNCTION_REFERENCE(FUN ADAPTER_FOR_CALLABLE_REFERENCE, TYPE_OP SAM_CONVERSION(FUNCTION_REFERENCE))
|
// BLOCK ADAPTED_FUNCTION_REFERENCE(FUN ADAPTER_FOR_CALLABLE_REFERENCE, TYPE_OP SAM_CONVERSION(FUNCTION_REFERENCE))
|
||||||
// Therefore, we need to insert the cast as the last statement of the block, not around the block itself.
|
// Therefore, we need to insert the cast as the last statement of the block, not around the block itself.
|
||||||
val lastIndex = statements.lastIndex
|
val lastIndex = statements.lastIndex
|
||||||
val samConversion = (statements[lastIndex] as IrExpression).generateSamConversion(samType, unwrappedArgument, samFirType)
|
val samConversion = (statements[lastIndex] as IrExpression).generateSamConversion(samType, argument, samFirType)
|
||||||
statements[lastIndex] = samConversion
|
statements[lastIndex] = samConversion
|
||||||
this.type = samConversion.type
|
this.type = samConversion.type
|
||||||
this
|
this
|
||||||
} else {
|
} else {
|
||||||
generateSamConversion(samType, unwrappedArgument, samFirType)
|
generateSamConversion(samType, argument, samFirType)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
+9
-8
@@ -1064,11 +1064,12 @@ class CallAndReferenceGenerator(
|
|||||||
// In this case we have to use parameter type itself which is more precise, like Array<String> or IntArray.
|
// In this case we have to use parameter type itself which is more precise, like Array<String> or IntArray.
|
||||||
// See KT-62598 and its fix for details.
|
// See KT-62598 and its fix for details.
|
||||||
val expectedType = unsubstitutedParameterType.takeIf { visitor.annotationMode && unsubstitutedParameterType?.isArrayType == true }
|
val expectedType = unsubstitutedParameterType.takeIf { visitor.annotationMode && unsubstitutedParameterType?.isArrayType == true }
|
||||||
var irArgument = visitor.convertToIrExpression(argument, expectedType = expectedType)
|
val unwrappedArgument = argument.unwrapArgument()
|
||||||
|
var irArgument = visitor.convertToIrExpression(unwrappedArgument, expectedType = expectedType)
|
||||||
if (unsubstitutedParameterType != null) {
|
if (unsubstitutedParameterType != null) {
|
||||||
with(visitor.implicitCastInserter) {
|
with(visitor.implicitCastInserter) {
|
||||||
val argumentType = argument.resolvedType.fullyExpandedType(session)
|
val argumentType = unwrappedArgument.resolvedType.fullyExpandedType(session)
|
||||||
if (argument is FirSmartCastExpression) {
|
if (unwrappedArgument is FirSmartCastExpression) {
|
||||||
val substitutedParameterType = substitutor.substituteOrSelf(unsubstitutedParameterType)
|
val substitutedParameterType = substitutor.substituteOrSelf(unsubstitutedParameterType)
|
||||||
// here we should use a substituted parameter type to properly choose the component of an intersection type
|
// here we should use a substituted parameter type to properly choose the component of an intersection type
|
||||||
// to provide a proper cast to the smartcasted type
|
// to provide a proper cast to the smartcasted type
|
||||||
@@ -1076,7 +1077,7 @@ class CallAndReferenceGenerator(
|
|||||||
}
|
}
|
||||||
// here we should pass unsubstituted parameter type to properly infer if the original type accepts null or not
|
// here we should pass unsubstituted parameter type to properly infer if the original type accepts null or not
|
||||||
// to properly insert nullability check
|
// to properly insert nullability check
|
||||||
irArgument = irArgument.insertSpecialCast(argument, argumentType, unsubstitutedParameterType)
|
irArgument = irArgument.insertSpecialCast(unwrappedArgument, argumentType, unsubstitutedParameterType)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
with(adapterGenerator) {
|
with(adapterGenerator) {
|
||||||
@@ -1085,13 +1086,13 @@ class CallAndReferenceGenerator(
|
|||||||
val parameterType = parameter.returnTypeRef.coneType
|
val parameterType = parameter.returnTypeRef.coneType
|
||||||
val unwrappedParameterType = if (parameter.isVararg) parameterType.arrayElementType()!! else parameterType
|
val unwrappedParameterType = if (parameter.isVararg) parameterType.arrayElementType()!! else parameterType
|
||||||
val samFunctionType = getFunctionTypeForPossibleSamType(unwrappedParameterType)
|
val samFunctionType = getFunctionTypeForPossibleSamType(unwrappedParameterType)
|
||||||
irArgument = irArgument.applySuspendConversionIfNeeded(argument, samFunctionType ?: unwrappedParameterType)
|
irArgument = irArgument.applySuspendConversionIfNeeded(unwrappedArgument, samFunctionType ?: unwrappedParameterType)
|
||||||
irArgument = irArgument.applySamConversionIfNeeded(argument, parameter)
|
irArgument = irArgument.applySamConversionIfNeeded(unwrappedArgument, parameter)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
return irArgument
|
return irArgument
|
||||||
.applyAssigningArrayElementsToVarargInNamedForm(argument, parameter)
|
.applyAssigningArrayElementsToVarargInNamedForm(unwrappedArgument, parameter)
|
||||||
.applyImplicitIntegerCoercionIfNeeded(argument, parameter)
|
.applyImplicitIntegerCoercionIfNeeded(unwrappedArgument, parameter)
|
||||||
}
|
}
|
||||||
|
|
||||||
private fun IrExpression.applyAssigningArrayElementsToVarargInNamedForm(
|
private fun IrExpression.applyAssigningArrayElementsToVarargInNamedForm(
|
||||||
|
|||||||
+6
@@ -51200,6 +51200,12 @@ public class FirLightTreeBlackBoxCodegenTestGenerated extends AbstractFirLightTr
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -51200,6 +51200,12 @@ public class FirLightTreeBlackBoxCodegenWithIrFakeOverrideGeneratorTestGenerated
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -51200,6 +51200,12 @@ public class FirPsiBlackBoxCodegenTestGenerated extends AbstractFirPsiBlackBoxCo
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+53
@@ -0,0 +1,53 @@
|
|||||||
|
FILE fqName:<root> fileName:/suspendSamConstructorAdaptation.kt
|
||||||
|
CLASS INTERFACE name:FunInterface modality:ABSTRACT visibility:public [fun] superTypes:[kotlin.Any]
|
||||||
|
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.FunInterface
|
||||||
|
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
|
||||||
|
overridden:
|
||||||
|
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||||
|
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
|
||||||
|
overridden:
|
||||||
|
public open fun hashCode (): kotlin.Int declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
|
||||||
|
overridden:
|
||||||
|
public open fun toString (): kotlin.String declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
FUN name:invoke visibility:public modality:ABSTRACT <> ($this:<root>.FunInterface) returnType:kotlin.Unit [suspend,operator]
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:<root>.FunInterface
|
||||||
|
FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
|
||||||
|
BLOCK_BODY
|
||||||
|
VAR name:lambda type:kotlin.Function0<kotlin.Unit> [val]
|
||||||
|
FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
|
||||||
|
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit
|
||||||
|
BLOCK_BODY
|
||||||
|
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): kotlin.Unit declared in <root>.box'
|
||||||
|
GET_OBJECT 'CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
|
||||||
|
CALL 'public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
|
||||||
|
f: BLOCK type=<root>.FunInterface origin=SUSPEND_CONVERSION
|
||||||
|
FUN ADAPTER_FOR_SUSPEND_CONVERSION name:suspendConversion visibility:local modality:FINAL <> ($receiver:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit [suspend]
|
||||||
|
$receiver: VALUE_PARAMETER ADAPTER_PARAMETER_FOR_SUSPEND_CONVERSION name:callee type:kotlin.Function0<kotlin.Unit>
|
||||||
|
BLOCK_BODY
|
||||||
|
CALL 'public abstract fun invoke (): R of kotlin.Function0 declared in kotlin.Function0' type=kotlin.Unit origin=null
|
||||||
|
$this: GET_VAR 'callee: kotlin.Function0<kotlin.Unit> declared in <root>.box.suspendConversion' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
TYPE_OP type=<root>.FunInterface origin=SAM_CONVERSION typeOperand=<root>.FunInterface
|
||||||
|
FUNCTION_REFERENCE 'local final fun suspendConversion (): kotlin.Unit declared in <root>.box' type=kotlin.coroutines.SuspendFunction0<kotlin.Unit> origin=SUSPEND_CONVERSION reflectionTarget=null
|
||||||
|
$receiver: GET_VAR 'val lambda: kotlin.Function0<kotlin.Unit> declared in <root>.box' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
CALL 'public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
|
||||||
|
f: BLOCK type=<root>.FunInterface origin=SUSPEND_CONVERSION
|
||||||
|
FUN ADAPTER_FOR_SUSPEND_CONVERSION name:suspendConversion visibility:local modality:FINAL <> ($receiver:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit [suspend]
|
||||||
|
$receiver: VALUE_PARAMETER ADAPTER_PARAMETER_FOR_SUSPEND_CONVERSION name:callee type:kotlin.Function0<kotlin.Unit>
|
||||||
|
BLOCK_BODY
|
||||||
|
CALL 'public abstract fun invoke (): R of kotlin.Function0 declared in kotlin.Function0' type=kotlin.Unit origin=null
|
||||||
|
$this: GET_VAR 'callee: kotlin.Function0<kotlin.Unit> declared in <root>.box.suspendConversion' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
TYPE_OP type=<root>.FunInterface origin=SAM_CONVERSION typeOperand=<root>.FunInterface
|
||||||
|
FUNCTION_REFERENCE 'local final fun suspendConversion (): kotlin.Unit declared in <root>.box' type=kotlin.coroutines.SuspendFunction0<kotlin.Unit> origin=SUSPEND_CONVERSION reflectionTarget=null
|
||||||
|
$receiver: GET_VAR 'val lambda: kotlin.Function0<kotlin.Unit> declared in <root>.box' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
|
||||||
|
CONST String type=kotlin.String value="OK"
|
||||||
|
FUN name:func visibility:public modality:FINAL <> (f:<root>.FunInterface) returnType:kotlin.Unit
|
||||||
|
VALUE_PARAMETER name:f index:0 type:<root>.FunInterface
|
||||||
|
BLOCK_BODY
|
||||||
|
RETURN type=kotlin.Nothing from='public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>'
|
||||||
|
GET_OBJECT 'CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
|
||||||
+53
@@ -0,0 +1,53 @@
|
|||||||
|
FILE fqName:<root> fileName:/suspendSamConstructorAdaptation.kt
|
||||||
|
CLASS INTERFACE name:FunInterface modality:ABSTRACT visibility:public [fun] superTypes:[kotlin.Any]
|
||||||
|
$this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.FunInterface
|
||||||
|
FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
|
||||||
|
overridden:
|
||||||
|
public open fun equals (other: kotlin.Any?): kotlin.Boolean declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
VALUE_PARAMETER name:other index:0 type:kotlin.Any?
|
||||||
|
FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
|
||||||
|
overridden:
|
||||||
|
public open fun hashCode (): kotlin.Int declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
|
||||||
|
overridden:
|
||||||
|
public open fun toString (): kotlin.String declared in kotlin.Any
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:kotlin.Any
|
||||||
|
FUN name:invoke visibility:public modality:ABSTRACT <> ($this:<root>.FunInterface) returnType:kotlin.Unit [suspend,operator]
|
||||||
|
$this: VALUE_PARAMETER name:<this> type:<root>.FunInterface
|
||||||
|
FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
|
||||||
|
BLOCK_BODY
|
||||||
|
VAR name:lambda type:kotlin.Function0<kotlin.Unit> [val]
|
||||||
|
FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
|
||||||
|
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit
|
||||||
|
BLOCK_BODY
|
||||||
|
RETURN type=kotlin.Nothing from='local final fun <anonymous> (): kotlin.Unit declared in <root>.box'
|
||||||
|
GET_OBJECT 'CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
|
||||||
|
CALL 'public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
|
||||||
|
f: BLOCK type=<root>.FunInterface origin=SUSPEND_CONVERSION
|
||||||
|
FUN ADAPTER_FOR_SUSPEND_CONVERSION name:suspendConversion0 visibility:local modality:FINAL <> ($receiver:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit [suspend]
|
||||||
|
$receiver: VALUE_PARAMETER ADAPTER_PARAMETER_FOR_SUSPEND_CONVERSION name:callee type:kotlin.Function0<kotlin.Unit>
|
||||||
|
BLOCK_BODY
|
||||||
|
CALL 'public abstract fun invoke (): R of kotlin.Function0 declared in kotlin.Function0' type=kotlin.Unit origin=null
|
||||||
|
$this: GET_VAR 'callee: kotlin.Function0<kotlin.Unit> declared in <root>.box.suspendConversion0' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
TYPE_OP type=<root>.FunInterface origin=SAM_CONVERSION typeOperand=<root>.FunInterface
|
||||||
|
FUNCTION_REFERENCE 'local final fun suspendConversion0 (): kotlin.Unit declared in <root>.box' type=kotlin.coroutines.SuspendFunction0<kotlin.Unit> origin=SUSPEND_CONVERSION reflectionTarget=null
|
||||||
|
$receiver: GET_VAR 'val lambda: kotlin.Function0<kotlin.Unit> declared in <root>.box' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
CALL 'public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
|
||||||
|
f: BLOCK type=<root>.FunInterface origin=SUSPEND_CONVERSION
|
||||||
|
FUN ADAPTER_FOR_SUSPEND_CONVERSION name:suspendConversion1 visibility:local modality:FINAL <> ($receiver:kotlin.Function0<kotlin.Unit>) returnType:kotlin.Unit [suspend]
|
||||||
|
$receiver: VALUE_PARAMETER ADAPTER_PARAMETER_FOR_SUSPEND_CONVERSION name:callee type:kotlin.Function0<kotlin.Unit>
|
||||||
|
BLOCK_BODY
|
||||||
|
CALL 'public abstract fun invoke (): R of kotlin.Function0 declared in kotlin.Function0' type=kotlin.Unit origin=null
|
||||||
|
$this: GET_VAR 'callee: kotlin.Function0<kotlin.Unit> declared in <root>.box.suspendConversion1' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
TYPE_OP type=<root>.FunInterface origin=SAM_CONVERSION typeOperand=<root>.FunInterface
|
||||||
|
FUNCTION_REFERENCE 'local final fun suspendConversion1 (): kotlin.Unit declared in <root>.box' type=kotlin.coroutines.SuspendFunction0<kotlin.Unit> origin=SUSPEND_CONVERSION reflectionTarget=null
|
||||||
|
$receiver: GET_VAR 'val lambda: kotlin.Function0<kotlin.Unit> declared in <root>.box' type=kotlin.Function0<kotlin.Unit> origin=null
|
||||||
|
RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
|
||||||
|
CONST String type=kotlin.String value="OK"
|
||||||
|
FUN name:func visibility:public modality:FINAL <> (f:<root>.FunInterface) returnType:kotlin.Unit
|
||||||
|
VALUE_PARAMETER name:f index:0 type:<root>.FunInterface
|
||||||
|
BLOCK_BODY
|
||||||
|
RETURN type=kotlin.Nothing from='public final fun func (f: <root>.FunInterface): kotlin.Unit declared in <root>'
|
||||||
|
GET_OBJECT 'CLASS IR_EXTERNAL_DECLARATION_STUB OBJECT name:Unit modality:FINAL visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit
|
||||||
+16
@@ -0,0 +1,16 @@
|
|||||||
|
// DUMP_IR
|
||||||
|
// IGNORE_BACKEND_K1: JVM
|
||||||
|
// ^K1 with old backend reports FUN_INTERFACE_WITH_SUSPEND_FUNCTION
|
||||||
|
|
||||||
|
fun interface FunInterface {
|
||||||
|
suspend operator fun invoke()
|
||||||
|
}
|
||||||
|
|
||||||
|
fun func(f: FunInterface) = Unit
|
||||||
|
|
||||||
|
fun box(): String {
|
||||||
|
val lambda: () -> Unit = { }
|
||||||
|
func(f = lambda)
|
||||||
|
func(lambda)
|
||||||
|
return "OK"
|
||||||
|
}
|
||||||
+6
@@ -50510,6 +50510,12 @@ public class JvmAbiConsistencyTestBoxGenerated extends AbstractJvmAbiConsistency
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -47414,6 +47414,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -50510,6 +50510,12 @@ public class IrBlackBoxCodegenTestGenerated extends AbstractIrBlackBoxCodegenTes
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+6
@@ -50510,6 +50510,12 @@ public class IrBlackBoxCodegenWithIrInlinerTestGenerated extends AbstractIrBlack
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@Test
|
@Test
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
|
|||||||
+5
@@ -40574,6 +40574,11 @@ public class LightAnalysisModeTestGenerated extends AbstractLightAnalysisModeTes
|
|||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
|
|
||||||
@TestMetadata("syntheticVsReal.kt")
|
@TestMetadata("syntheticVsReal.kt")
|
||||||
public void testSyntheticVsReal() {
|
public void testSyntheticVsReal() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/syntheticVsReal.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/syntheticVsReal.kt");
|
||||||
|
|||||||
+6
@@ -35395,6 +35395,12 @@ public class FirJsCodegenBoxTestGenerated extends AbstractFirJsCodegenBoxTest {
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
Generated
+6
@@ -35395,6 +35395,12 @@ public class FirJsES6CodegenBoxTestGenerated extends AbstractFirJsES6CodegenBoxT
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -34831,6 +34831,12 @@ public class IrJsCodegenBoxTestGenerated extends AbstractIrJsCodegenBoxTest {
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -34831,6 +34831,12 @@ public class IrJsES6CodegenBoxTestGenerated extends AbstractIrJsES6CodegenBoxTes
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -38781,6 +38781,12 @@ public class FirNativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTe
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -39767,6 +39767,12 @@ public class FirNativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenB
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -37219,6 +37219,12 @@ public class NativeCodegenBoxTestGenerated extends AbstractNativeCodegenBoxTest
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
+6
@@ -38194,6 +38194,12 @@ public class NativeCodegenBoxTestNoPLGenerated extends AbstractNativeCodegenBoxT
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
Generated
+6
@@ -35269,6 +35269,12 @@ public class FirWasmJsCodegenBoxTestGenerated extends AbstractFirWasmJsCodegenBo
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
Generated
+6
@@ -34705,6 +34705,12 @@ public class K1WasmCodegenBoxTestGenerated extends AbstractK1WasmCodegenBoxTest
|
|||||||
public void testSameWrapperClass2() {
|
public void testSameWrapperClass2() {
|
||||||
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
runTest("compiler/testData/codegen/box/sam/constructors/sameWrapperClass2.kt");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Test
|
||||||
|
@TestMetadata("suspendSamConstructorAdaptation.kt")
|
||||||
|
public void testSuspendSamConstructorAdaptation() {
|
||||||
|
runTest("compiler/testData/codegen/box/sam/constructors/suspendSamConstructorAdaptation.kt");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Nested
|
@Nested
|
||||||
|
|||||||
Reference in New Issue
Block a user