azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[JVM IR] Generate mutable lower bound type for flexible IR types

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2023-05-24 10:12:18 +03:00
committed by Space Team
parent fdc236296d
commit 58f8e25bfe
1 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/ir/backend.jvm/src/org/jetbrains/kotlin/backend/jvm/ir/IrJvmFlexibleType.kt
+17
View File
@@ -36,6 +36,23 @@ private class IrJvmFlexibleTypeImpl(
// No change in classifier is needed for mutability because type's classifier is set to the lower bound anyway // No change in classifier is needed for mutability because type's classifier is set to the lower bound anyway
// (see TypeTranslator.translateType). // (see TypeTranslator.translateType).
kotlinType = null kotlinType = null
if (mutability) {
val klass = classifier?.owner as? IrClass
?: error("Mutability-flexible type's classifier is not a class: ${irType.render()}")
val readonlyClassFqName = FlexibleTypeBoundsChecker.getBaseBoundFqNameByMutability(klass.fqNameWhenAvailable!!)
classifier = when (readonlyClassFqName) {
StandardNames.FqNames.iterable -> builtIns.mutableIterableClass
StandardNames.FqNames.iterator -> builtIns.mutableIteratorClass
StandardNames.FqNames.listIterator -> builtIns.mutableListIteratorClass
StandardNames.FqNames.list -> builtIns.mutableListClass
StandardNames.FqNames.collection -> builtIns.mutableCollectionClass
StandardNames.FqNames.set -> builtIns.mutableSetClass
StandardNames.FqNames.map -> builtIns.mutableMapClass
StandardNames.FqNames.mapEntry -> builtIns.mutableMapEntryClass
else -> error("Mutability-flexible type with unknown classifier: ${irType.render()}, FQ name: $readonlyClassFqName")
}
}
} }
override val upperBound: IrSimpleType override val upperBound: IrSimpleType