Introduce an API to convert TypeConstructorMarker to TypeParameterMarker

This commit is contained in:
Jinseong Jeon
2021-10-19 11:04:54 -07:00
committed by teamcity
parent a367b91aa1
commit 2dc2a90755
5 changed files with 22 additions and 3 deletions
@@ -122,7 +122,7 @@ object AbstractTypeMapper {
}
typeConstructor.isTypeParameter() -> {
val typeParameter = typeConstructor as TypeParameterMarker
val typeParameter = typeConstructor.asTypeParameter()
return mapType(context, typeParameter.representativeUpperBound(), mode, null).also { asmType ->
sw?.writeTypeVariable(typeParameter.getName(), asmType)
}
@@ -207,6 +207,11 @@ class ConeTypeSystemCommonBackendContextForTypeMapping(
return this is ConeTypeParameterLookupTag
}
override fun TypeConstructorMarker.asTypeParameter(): TypeParameterMarker {
require(isTypeParameter())
return this as ConeTypeParameterLookupTag
}
override fun TypeConstructorMarker.defaultType(): ConeSimpleKotlinType {
require(this is ConeClassifierLookupTag)
return when (this) {
@@ -223,6 +223,11 @@ private class IrTypeCheckerContextForTypeMapping(
return this is IrTypeParameterSymbol
}
override fun TypeConstructorMarker.asTypeParameter(): TypeParameterMarker {
require(isTypeParameter())
return this as IrTypeParameterSymbol
}
override fun TypeConstructorMarker.defaultType(): IrType {
return when (this) {
is IrClassSymbol -> owner.defaultType