diff --git a/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt b/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt
index be0e9aca1c0..622862ce8d0 100644
--- a/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt
+++ b/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt
@@ -328,17 +328,6 @@ object AbstractTypeChecker {
     }
 
 
-    private inline fun TypeArgumentListMarker.all(
-        context: AbstractTypeCheckerContext,
-        crossinline predicate: (TypeArgumentMarker) -> Boolean
-    ): Boolean = with(context) {
-        repeat(size()) { index ->
-            if (!predicate(get(index))) return false
-        }
-        return true
-    }
-
-
     private fun AbstractTypeCheckerContext.collectAllSupertypesWithGivenTypeConstructor(
         baseType: SimpleTypeMarker,
         constructor: TypeConstructorMarker
diff --git a/core/type-system/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt b/core/type-system/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
index 193b0e32220..291be31f87c 100644
--- a/core/type-system/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
+++ b/core/type-system/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
@@ -151,4 +151,14 @@ enum class CaptureStatus {
     FOR_SUBTYPING,
     FOR_INCORPORATION,
     FROM_EXPRESSION
+}
+
+inline fun TypeArgumentListMarker.all(
+    context: TypeSystemContext,
+    crossinline predicate: (TypeArgumentMarker) -> Boolean
+): Boolean = with(context) {
+    repeat(size()) { index ->
+        if (!predicate(get(index))) return false
+    }
+    return true
 }
\ No newline at end of file