From af4d30068683e214b2a62318158eacbabd3bf246 Mon Sep 17 00:00:00 2001
From: Ilya Kirillov <ilya.kirillov@jetbrains.com>
Date: Fri, 19 Feb 2021 12:39:56 +0100
Subject: [PATCH] Use nullability from approximated local type in
 AbstractTypeApproximator

---
 .../src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt b/compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt
index f72fdde9826..c2c0ebca922 100644
--- a/compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt
+++ b/compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt
@@ -174,6 +174,7 @@ abstract class AbstractTypeApproximator(val ctx: TypeSystemInferenceExtensionCon
             stubTypesEqualToAnything = false
         )
         return AbstractTypeChecker.findCorrespondingSupertypes(typeCheckerContext, type, superConstructor).first()
+            .withNullability(type.isMarkedNullable())
     }
 
     private fun isIntersectionTypeEffectivelyNothing(constructor: IntersectionTypeConstructorMarker): Boolean {