azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use nullability from approximated local type in AbstractTypeApproximator

Browse Source
This commit is contained in:
Ilya Kirillov
2021-02-19 12:39:56 +01:00
parent 3571074da4
commit af4d300686
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt
+1
View File
@@ -174,6 +174,7 @@ abstract class AbstractTypeApproximator(val ctx: TypeSystemInferenceExtensionCon
stubTypesEqualToAnything = false stubTypesEqualToAnything = false
) )
return AbstractTypeChecker.findCorrespondingSupertypes(typeCheckerContext, type, superConstructor).first() return AbstractTypeChecker.findCorrespondingSupertypes(typeCheckerContext, type, superConstructor).first()
.withNullability(type.isMarkedNullable())
} }
private fun isIntersectionTypeEffectivelyNothing(constructor: IntersectionTypeConstructorMarker): Boolean { private fun isIntersectionTypeEffectivelyNothing(constructor: IntersectionTypeConstructorMarker): Boolean {