diff --git a/core/descriptors/src/org/jetbrains/kotlin/types/checker/NewCapturedType.kt b/core/descriptors/src/org/jetbrains/kotlin/types/checker/NewCapturedType.kt
index eac6c2c1fb3..a7f6ae799a0 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/types/checker/NewCapturedType.kt
+++ b/core/descriptors/src/org/jetbrains/kotlin/types/checker/NewCapturedType.kt
@@ -70,6 +70,8 @@ fun captureFromArguments(
         status: CaptureStatus,
         acceptNewCapturedType: ((argumentIndex: Int, NewCapturedType) -> Unit) = DO_NOTHING_2
 ): SimpleType? {
+    if (type.arguments.size != type.constructor.parameters.size) return null
+
     val arguments = type.arguments
     if (arguments.all { it.projectionKind == Variance.INVARIANT }) return null