diff --git a/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirConversions.kt b/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirConversions.kt
index 99b5e818de8..6f65628702c 100644
--- a/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirConversions.kt
+++ b/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirConversions.kt
@@ -9,47 +9,47 @@ import org.jetbrains.kotlin.commonizer.mergedtree.CirProvided
 import org.jetbrains.kotlin.commonizer.mergedtree.CirProvidedClassifiers
 import org.jetbrains.kotlin.descriptors.Visibilities
 
-internal fun CirProvidedClassifiers.toCirClassOrTypeAliasTypeOrNull(type: CirProvided.ClassOrTypeAliasType): CirClassOrTypeAliasType? {
-    return when (type) {
-        is CirProvided.ClassType -> toCirClassTypeOrNull(type)
-        is CirProvided.TypeAliasType -> toCirTypeAliasTypeOrNull(type)
+internal fun CirProvided.ClassOrTypeAliasType.toCirClassOrTypeAliasTypeOrNull(classifiers: CirProvidedClassifiers): CirClassOrTypeAliasType? {
+    return when (this) {
+        is CirProvided.ClassType -> this.toCirClassTypeOrNull(classifiers)
+        is CirProvided.TypeAliasType -> this.toCirTypeAliasTypeOrNull(classifiers)
     }
 }
 
-internal fun CirProvidedClassifiers.toCirTypeAliasTypeOrNull(type: CirProvided.TypeAliasType): CirTypeAliasType? {
-    val typeAlias = this.classifier(type.classifierId) as? CirProvided.TypeAlias ?: return null
+internal fun CirProvided.TypeAliasType.toCirTypeAliasTypeOrNull(classifiers: CirProvidedClassifiers): CirTypeAliasType? {
+    val typeAlias = classifiers.classifier(classifierId) as? CirProvided.TypeAlias ?: return null
     return CirTypeAliasType.createInterned(
-        typeAliasId = type.classifierId,
-        isMarkedNullable = type.isMarkedNullable,
-        arguments = type.arguments.map { toCirTypeProjection(it) ?: return null },
-        underlyingType = toCirClassOrTypeAliasTypeOrNull(typeAlias.underlyingType) ?: return null
+        typeAliasId = classifierId,
+        isMarkedNullable = isMarkedNullable,
+        arguments = arguments.map { it.toCirTypeProjection(classifiers) ?: return null },
+        underlyingType = typeAlias.underlyingType.toCirClassOrTypeAliasTypeOrNull(classifiers) ?: return null
     )
 }
 
-internal fun CirProvidedClassifiers.toCirClassTypeOrNull(type: CirProvided.ClassType): CirClassType? {
+internal fun CirProvided.ClassType.toCirClassTypeOrNull(classifiers: CirProvidedClassifiers): CirClassType? {
     return CirClassType.createInterned(
-        classId = type.classifierId,
-        outerType = type.outerType?.let { toCirClassTypeOrNull(it) ?: return null },
-        isMarkedNullable = type.isMarkedNullable,
-        arguments = type.arguments.map { toCirTypeProjection(it) ?: return null },
+        classId = classifierId,
+        outerType = outerType?.let { it.toCirClassTypeOrNull(classifiers) ?: return null },
+        isMarkedNullable = isMarkedNullable,
+        arguments = arguments.map { it.toCirTypeProjection(classifiers) ?: return null },
         visibility = Visibilities.Public,
     )
 }
 
-internal fun CirProvidedClassifiers.toCirTypeProjection(type: CirProvided.TypeProjection): CirTypeProjection? {
-    return when (type) {
+internal fun CirProvided.TypeProjection.toCirTypeProjection(classifiers: CirProvidedClassifiers): CirTypeProjection? {
+    return when (this) {
         is CirProvided.StarTypeProjection -> CirStarTypeProjection
-        is CirProvided.RegularTypeProjection -> toCirRegularTypeProjectionOrNull(type)
+        is CirProvided.RegularTypeProjection -> this.toCirRegularTypeProjectionOrNull(classifiers)
     }
 }
 
-internal fun CirProvidedClassifiers.toCirRegularTypeProjectionOrNull(
-    projection: CirProvided.RegularTypeProjection
+internal fun CirProvided.RegularTypeProjection.toCirRegularTypeProjectionOrNull(
+    classifiers: CirProvidedClassifiers
 ): CirRegularTypeProjection? {
     return CirRegularTypeProjection(
-        projectionKind = projection.variance,
-        type = when (val type = projection.type) {
-            is CirProvided.ClassOrTypeAliasType -> toCirClassOrTypeAliasTypeOrNull(type) ?: return null
+        projectionKind = variance,
+        type = when (val type = type) {
+            is CirProvided.ClassOrTypeAliasType -> type.toCirClassOrTypeAliasTypeOrNull(classifiers) ?: return null
             is CirProvided.TypeParameterType -> CirTypeParameterType.createInterned(type.index, type.isMarkedNullable)
         }
     )
diff --git a/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirSupertypesResolver.kt b/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirSupertypesResolver.kt
index 7bdcc5b3db7..c7a1c06857d 100644
--- a/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirSupertypesResolver.kt
+++ b/native/commonizer/src/org/jetbrains/kotlin/commonizer/cir/CirSupertypesResolver.kt
@@ -49,7 +49,7 @@ internal class SimpleCirSupertypesResolver(
 
     private fun CirProvidedClassifiers.supertypesFromProvidedClass(type: CirClassType, classifier: CirProvided.Class): Set<CirClassType> {
         return classifier.supertypes.filterIsInstance<CirProvided.ClassType>()
-            .mapNotNull { superType -> toCirClassTypeOrNull(superType) }
+            .mapNotNull { superType -> superType.toCirClassTypeOrNull(this) }
             .mapNotNull { superType -> buildSupertypeFromClassifierSupertype(type, superType) }
             .toSet()
     }
diff --git a/native/commonizer/src/org/jetbrains/kotlin/commonizer/core/ClassOrTypeAliasTypeCommonizer.kt b/native/commonizer/src/org/jetbrains/kotlin/commonizer/core/ClassOrTypeAliasTypeCommonizer.kt
index a76f542cb1a..ec750342c02 100644
--- a/native/commonizer/src/org/jetbrains/kotlin/commonizer/core/ClassOrTypeAliasTypeCommonizer.kt
+++ b/native/commonizer/src/org/jetbrains/kotlin/commonizer/core/ClassOrTypeAliasTypeCommonizer.kt
@@ -65,8 +65,7 @@ internal class ClassOrTypeAliasTypeCommonizer(
                 typeAliasId = classifierId,
                 arguments = arguments,
                 isMarkedNullable = isMarkedNullable,
-                underlyingType = classifiers.commonDependencies
-                    .toCirClassOrTypeAliasTypeOrNull(dependencyClassifier.underlyingType)
+                underlyingType = dependencyClassifier.underlyingType.toCirClassOrTypeAliasTypeOrNull(classifiers.commonDependencies)
                     ?.withParentArguments(arguments, isMarkedNullable) ?: return null
             )
 
@@ -181,7 +180,7 @@ internal class ClassOrTypeAliasTypeCommonizer(
 
         return CirTypeAliasType.createInterned(
             destinationTypeAliasId,
-            underlyingType = providedClassifiers.toCirClassOrTypeAliasTypeOrNull(destinationTypeAlias.underlyingType) ?: return null,
+            underlyingType = destinationTypeAlias.underlyingType.toCirClassOrTypeAliasTypeOrNull(providedClassifiers) ?: return null,
             arguments = emptyList(),
             isMarkedNullable = sourceType.isMarkedNullable
         )