[IR] Properly resolve type parameters in case of property accessor
- fix KT-41006
This commit is contained in:
+2
-1
@@ -21,6 +21,7 @@ import org.jetbrains.kotlin.psi2ir.endOffsetOrUndefined
|
|||||||
import org.jetbrains.kotlin.psi2ir.startOffsetOrUndefined
|
import org.jetbrains.kotlin.psi2ir.startOffsetOrUndefined
|
||||||
import org.jetbrains.kotlin.resolve.DescriptorToSourceUtils
|
import org.jetbrains.kotlin.resolve.DescriptorToSourceUtils
|
||||||
import org.jetbrains.kotlin.resolve.descriptorUtil.isEffectivelyExternal
|
import org.jetbrains.kotlin.resolve.descriptorUtil.isEffectivelyExternal
|
||||||
|
import org.jetbrains.kotlin.resolve.descriptorUtil.propertyIfAccessor
|
||||||
import org.jetbrains.kotlin.types.KotlinType
|
import org.jetbrains.kotlin.types.KotlinType
|
||||||
|
|
||||||
class StandaloneDeclarationGenerator(private val context: GeneratorContext) {
|
class StandaloneDeclarationGenerator(private val context: GeneratorContext) {
|
||||||
@@ -195,7 +196,7 @@ class StandaloneDeclarationGenerator(private val context: GeneratorContext) {
|
|||||||
|
|
||||||
symbolTable.withScope(descriptor) {
|
symbolTable.withScope(descriptor) {
|
||||||
generateOverridenSymbols(irFunction, descriptor.overriddenDescriptors)
|
generateOverridenSymbols(irFunction, descriptor.overriddenDescriptors)
|
||||||
generateScopedTypeParameterDeclarations(irFunction, descriptor.typeParameters)
|
generateScopedTypeParameterDeclarations(irFunction, descriptor.propertyIfAccessor.typeParameters)
|
||||||
generateValueParameterDeclarations(irFunction, descriptor, defaultArgumentFactory)
|
generateValueParameterDeclarations(irFunction, descriptor, defaultArgumentFactory)
|
||||||
irFunction.returnType = descriptor.returnType?.toIrType() ?: error("Expected return type $descriptor")
|
irFunction.returnType = descriptor.returnType?.toIrType() ?: error("Expected return type $descriptor")
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user