diff --git a/compiler/resolution/src/org/jetbrains/kotlin/types/TypeApproximator.kt b/compiler/resolution/src/org/jetbrains/kotlin/types/TypeApproximator.kt index e16c903f300..9e73e627277 100644 --- a/compiler/resolution/src/org/jetbrains/kotlin/types/TypeApproximator.kt +++ b/compiler/resolution/src/org/jetbrains/kotlin/types/TypeApproximator.kt @@ -67,6 +67,7 @@ open class TypeApproximatorConfiguration { abstract class AbstractCapturedTypesApproximation(val approximatedCapturedStatus: CaptureStatus): TypeApproximatorConfiguration.AllFlexibleSameValue() { override val allFlexible get() = true + override val errorType get() = true // i.e. will be approximated only approximatedCapturedStatus captured types override val capturedType get() = { it: NewCapturedType -> it.captureStatus != approximatedCapturedStatus }