[FIR2IR] Reify type parameters for callee reference with vararg

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/generators/AdapterGenerator.kt

@@ -37,9 +37,12 @@ import org.jetbrains.kotlin.ir.symbols.IrSimpleFunctionSymbol
 import org.jetbrains.kotlin.ir.symbols.impl.IrSimpleFunctionSymbolImpl
 import org.jetbrains.kotlin.ir.symbols.impl.IrValueParameterSymbolImpl
 import org.jetbrains.kotlin.ir.types.*
+import org.jetbrains.kotlin.ir.types.impl.IrSimpleTypeImpl
+import org.jetbrains.kotlin.ir.types.impl.makeTypeProjection
 import org.jetbrains.kotlin.ir.util.*
 import org.jetbrains.kotlin.name.Name
 import org.jetbrains.kotlin.types.AbstractTypeChecker
+import org.jetbrains.kotlin.types.Variance
 
 /**
  * A generator that converts callable references or arguments that needs an adapter in between. This covers:
@@ -148,7 +151,7 @@ internal class AdapterGenerator(
                 callableReferenceAccess, startOffset, endOffset, firAdaptee!!, adaptee, type, boundDispatchReceiver, boundExtensionReceiver
             )
             val irCall = createAdapteeCallForCallableReference(
-                callableReferenceAccess, firAdaptee, adapteeSymbol, irAdapterFunction, boundDispatchReceiver, boundExtensionReceiver
+                callableReferenceAccess, firAdaptee, adapteeSymbol, irAdapterFunction, type, boundDispatchReceiver, boundExtensionReceiver
             )
             irAdapterFunction.body = irFactory.createBlockBody(startOffset, endOffset) {
                 if (expectedReturnType?.isUnit() == true) {
@@ -282,6 +285,7 @@ internal class AdapterGenerator(
         firAdaptee: FirFunction,
         adapteeSymbol: IrFunctionSymbol,
         adapterFunction: IrFunction,
+        adaptedType: IrSimpleType,
         boundDispatchReceiver: IrExpression?,
         boundExtensionReceiver: IrExpression?
     ): IrExpression {
@@ -345,9 +349,31 @@ internal class AdapterGenerator(
                     val valueArgument = if (mappedArgument.arguments.isEmpty()) {
                         null
                     } else {
+                        val parameterType = valueParameter.type
+                        val reifiedVarargElementType: IrType
+                        val reifiedVarargType: IrType
+                        if (valueParameter.varargElementType?.isTypeParameter() == true &&
+                            parameterType is IrSimpleType &&
+                            !parameterType.isPrimitiveArray()
+                        ) {
+                            reifiedVarargElementType = adaptedType.getArgumentTypeAt(index)
+                            reifiedVarargType = IrSimpleTypeImpl(
+                                parameterType.classifier,
+                                parameterType.hasQuestionMark,
+                                listOf(makeTypeProjection(reifiedVarargElementType, Variance.OUT_VARIANCE)),
+                                parameterType.annotations,
+                                parameterType.abbreviation
+                            )
+                        } else {
+                            reifiedVarargElementType = valueParameter.varargElementType!!
+                            reifiedVarargType = parameterType
+                        }
+
                         val adaptedValueArgument = IrVarargImpl(
-                            startOffset, endOffset,
-                            valueParameter.type, valueParameter.varargElementType!!,
+                            startOffset,
+                            endOffset,
+                            reifiedVarargType,
+                            reifiedVarargElementType
                         )
                         for (argument in mappedArgument.arguments) {
                             val irValueArgument = buildIrGetValueArgument(argument)

compiler/testData/codegen/box/callableReference/adaptedReferences/adaptedArrayOf.kt

@@ -1,15 +1,3 @@
-// IGNORE_BACKEND_FIR: JVM_IR
-// FIR status: V
-//  java.lang.UnsupportedOperationException: This function has a reified type parameter and thus can only be inlined at compilation time,
-//  not called directly.
-//    at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:207)
-//    at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:201)
-//    at kotlin.jvm.internal.Intrinsics.reifiedOperationMarker(Intrinsics.java:211)
-//    at AdaptedArrayOfKt$box$t$1.invoke(adaptedArrayOf.kt:5)
-//    at AdaptedArrayOfKt$box$t$1.invoke(adaptedArrayOf.kt:5)
-//    at AdaptedArrayOfKt.test(adaptedArrayOf.kt:2)
-//    at AdaptedArrayOfKt.box(adaptedArrayOf.kt:5)
-
 fun test(f: (Int, Int) -> Array<Int>) =
     f('O'.toInt(), 'K'.toInt())
 

compiler/testData/codegen/box/sam/kt49226.kt

@@ -1,15 +1,4 @@
 // TARGET_BACKEND: JVM
-// IGNORE_BACKEND_FIR: JVM_IR
-// FIR status: java.lang.UnsupportedOperationException: This function has a reified type parameter and thus can only be inlined at compilation time,
-//    not called directly.
-//      at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:207)
-//      at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:201)
-//      at kotlin.jvm.internal.Intrinsics.reifiedOperationMarker(Intrinsics.java:211)
-//      at Kt49226Kt$box$x$1.invoke(kt49226.kt:5)
-//      at Kt49226Kt$box$x$1.invoke(kt49226.kt:5)
-//      at Kt49226Kt$sam$Func$0.apply(kt49226.kt)
-//      at Mapper.map(Mapper.java:20)
-//      at Kt49226Kt.box(kt49226.kt:5)
 
 // FILE: kt49226.kt
 fun box(): String {