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

Optimize AbstractTypeChecker::collectAllSupertypesWithGivenTypeConstructor

Browse Source 
Add fast path for a case when subType is a class and super is not
Classes may only have classes supertypes
This commit is contained in:
Denis Zharkov
2019-06-19 14:19:21 +03:00
parent 7a31a14002
commit 6d63214d1b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/type-system/src/org/jetbrains/kotlin/types/AbstractTypeChecker.kt
+2
View File
@@ -383,6 +383,8 @@ object AbstractTypeChecker {
return it return it
} }
if (!superConstructor.isClassTypeConstructor() && subType.isClassType()) return emptyList()
if (superConstructor.isCommonFinalClassConstructor()) { if (superConstructor.isCommonFinalClassConstructor()) {
return if (areEqualTypeConstructors(subType.typeConstructor(), superConstructor)) return if (areEqualTypeConstructors(subType.typeConstructor(), superConstructor))
listOf(captureFromArguments(subType, CaptureStatus.FOR_SUBTYPING) ?: subType) listOf(captureFromArguments(subType, CaptureStatus.FOR_SUBTYPING) ?: subType)