From 5edfd6af0fe9e749a4050fca5c5bc547b823c4af Mon Sep 17 00:00:00 2001
From: Ivan Kylchik <ivan.kylchik@jetbrains.com>
Date: Mon, 6 Nov 2023 18:47:14 +0100
Subject: [PATCH] [JVM_IR] Declare type parameters of an outer declaration for
 code fragment

#KT-63597 Fixed
---
 .../fragments/FragmentDeclarationGenerator.kt | 22 ++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/fragments/FragmentDeclarationGenerator.kt b/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/fragments/FragmentDeclarationGenerator.kt
index 8130b8ad57e..121c7aee1b1 100644
--- a/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/fragments/FragmentDeclarationGenerator.kt
+++ b/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/generators/fragments/FragmentDeclarationGenerator.kt
@@ -5,13 +5,13 @@
 
 package org.jetbrains.kotlin.psi2ir.generators.fragments
 
+import org.jetbrains.kotlin.descriptors.CallableDescriptor
 import org.jetbrains.kotlin.descriptors.Modality
 import org.jetbrains.kotlin.descriptors.ValueParameterDescriptor
 import org.jetbrains.kotlin.ir.IrStatement
 import org.jetbrains.kotlin.ir.UNDEFINED_OFFSET
 import org.jetbrains.kotlin.ir.declarations.*
 import org.jetbrains.kotlin.ir.expressions.impl.IrDelegatingConstructorCallImpl
-import org.jetbrains.kotlin.ir.symbols.IrClassSymbol
 import org.jetbrains.kotlin.ir.symbols.impl.IrConstructorPublicSymbolImpl
 import org.jetbrains.kotlin.ir.util.*
 import org.jetbrains.kotlin.name.Name
@@ -112,6 +112,26 @@ open class FragmentDeclarationGenerator(
     }
 
     private fun declareParameter(descriptor: ValueParameterDescriptor, parameterInfo: EvaluatorFragmentParameterInfo): IrValueParameter {
+        // We must manually bind type parameters of outer declaration if it has any.
+        // These type parameters will not be created automatically because we are not compiling
+        // outer declaration, it comes as dependency.
+        val typeParameters = (parameterInfo.descriptor.containingDeclaration as? CallableDescriptor)?.typeParameters
+        typeParameters?.forEach { typeParameterDescriptor ->
+            context.symbolTable.descriptorExtension.declareGlobalTypeParameter(typeParameterDescriptor) {
+                context.irFactory.createTypeParameter(
+                    UNDEFINED_OFFSET, UNDEFINED_OFFSET,
+                    IrDeclarationOrigin.DEFINED,
+                    typeParameterDescriptor.name,
+                    it,
+                    typeParameterDescriptor.variance,
+                    typeParameterDescriptor.index,
+                    typeParameterDescriptor.isReified,
+                ).apply {
+                    this.superTypes += context.irBuiltIns.anyNType
+                }
+            }
+        }
+
         // Parameter must be _assignable_ if written by the fragment:
         // These parameters model the captured variables of the fragment. The
         // captured _values_ are extracted from the call stack of the JVM being