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

Optimize AbstractTypeChecker::hasNothingSupertype

Browse Source 
It doesn't make sense to go through all supertypes because
Nothing is a final class
This commit is contained in:
Denis Zharkov
2019-06-03 19:57:44 +03:00
parent 115ab38423
commit b43f717f6d
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt
+7 -2
View File
@@ -215,14 +215,19 @@ object AbstractTypeChecker {
return null return null
} }
private fun AbstractTypeCheckerContext.hasNothingSupertype(type: SimpleTypeMarker) = // todo add tests private fun AbstractTypeCheckerContext.hasNothingSupertype(type: SimpleTypeMarker): Boolean {
anySupertype(type, { it.typeConstructor().isNothingConstructor() }) { val typeConstructor = type.typeConstructor()
if (typeConstructor.isClassTypeConstructor()) {
return typeConstructor.isNothingConstructor()
}
return anySupertype(type, { it.typeConstructor().isNothingConstructor() }) {
if (it.isClassType()) { if (it.isClassType()) {
SupertypesPolicy.None SupertypesPolicy.None
} else { } else {
SupertypesPolicy.LowerIfFlexible SupertypesPolicy.LowerIfFlexible
} }
} }
}
private fun AbstractTypeCheckerContext.isSubtypeOfForSingleClassifierType(subType: SimpleTypeMarker, superType: SimpleTypeMarker): Boolean { private fun AbstractTypeCheckerContext.isSubtypeOfForSingleClassifierType(subType: SimpleTypeMarker, superType: SimpleTypeMarker): Boolean {
if (AbstractTypeChecker.RUN_SLOW_ASSERTIONS) { if (AbstractTypeChecker.RUN_SLOW_ASSERTIONS) {