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

ConeTypeIntersector: reuse isNullableType from type context

Browse Source
This commit is contained in:
Mikhail Glukhikh
2023-01-03 18:19:05 +01:00
committed by Space Team
parent ee6af9af5f
commit b5111d101e
1 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeTypeIntersector.kt
+3 -8
View File
@@ -47,7 +47,9 @@ object ConeTypeIntersector {
* UNKNOWN means, that we do not know, i.e. more precisely, all singleClassifier types marked nullable if any,
* and other types is captured types or type parameters without not-null upper bound. Example: `String? & T` such types we should leave as is.
*/
val isResultNotNullable = inputTypes.any { !it.isNullable(context) }
val isResultNotNullable = with(context) {
inputTypes.any { !it.isNullableType() }
}
val inputTypesMadeNotNullIfNeeded = inputTypes.mapTo(LinkedHashSet()) {
if (isResultNotNullable) it.makeConeTypeDefinitelyNotNullOrNotNull(context) else it
}
@@ -91,11 +93,4 @@ object ConeTypeIntersector {
private fun ConeKotlinType.isStrictSubtypeOf(context: ConeTypeContext, supertype: ConeKotlinType): Boolean =
AbstractTypeChecker.isSubtypeOf(context, this, supertype) && !AbstractTypeChecker.isSubtypeOf(context, supertype, this)
private fun ConeKotlinType.isNullable(context: ConeTypeContext): Boolean =
when {
isMarkedNullable -> true
this is ConeFlexibleType -> upperBound.isNullable(context)
else -> !ConeNullabilityChecker.isSubtypeOfAny(context, this)
}
}