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 362073c97b9..8e264cf4128 100644 --- a/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt +++ b/core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt @@ -383,6 +383,8 @@ object AbstractTypeChecker { return it } + if (!superConstructor.isClassTypeConstructor() && subType.isClassType()) return emptyList() + if (superConstructor.isCommonFinalClassConstructor()) { return if (areEqualTypeConstructors(subType.typeConstructor(), superConstructor)) listOf(captureFromArguments(subType, CaptureStatus.FOR_SUBTYPING) ?: subType)