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

[FE] Use errorTypesEqualToAnything and stubTypesEqualToAnything for type checker context which is used for type intersection emptiness check

Browse Source
This commit is contained in:
Victor Petukhov
2022-05-11 20:59:40 +02:00
committed by teamcity
parent 7ac001b7bd
commit ba158de848
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
core/compiler.common/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
+5 -1
View File
@@ -347,7 +347,11 @@ interface TypeSystemInferenceExtensionContext : TypeSystemContext, TypeSystemBui
private fun areIncompatibleSuperTypes(firstType: KotlinTypeMarker, secondType: KotlinTypeMarker): Boolean = private fun areIncompatibleSuperTypes(firstType: KotlinTypeMarker, secondType: KotlinTypeMarker): Boolean =
firstType.typeConstructor() == secondType.typeConstructor() firstType.typeConstructor() == secondType.typeConstructor()
&& !AbstractTypeChecker.equalTypes(context = this, firstType, secondType) && !AbstractTypeChecker.equalTypes(
newTypeCheckerState(errorTypesEqualToAnything = true, stubTypesEqualToAnything = true),
firstType,
secondType
)
// interface A<T> // interface A<T>
// interface B : A<Int> // interface B : A<Int>