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

[FIR] Relax incompatibleEnumComparisonWithTypeParameters

Browse Source
This commit is contained in:
Nikolay Lunyak
2023-10-18 17:55:01 +03:00
committed by Space Team
parent ae521524d6
commit 3058f2eaff
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/expression/FirEqualityCompatibilityChecker.kt
+1 -1
View File
@@ -53,7 +53,7 @@ object FirEqualityCompatibilityChecker : FirEqualityOperatorCallChecker() {
// sees a non-empty intersection and none of the // sees a non-empty intersection and none of the
// types is an enum, but intersections in K1 // types is an enum, but intersections in K1
// work differently from intersections in K2. // work differently from intersections in K2.
val isCaseMissedByK1 = it != Applicability.INAPPLICABLE_AS_ENUMS val isCaseMissedByK1 = (l.originalTypeInfo.isEnumClass == r.originalTypeInfo.isEnumClass)
&& l.originalTypeInfo.isLiterallyTypeParameter && l.originalTypeInfo.isLiterallyTypeParameter
&& r.originalTypeInfo.isLiterallyTypeParameter && r.originalTypeInfo.isLiterallyTypeParameter
val replicateK1Behavior = !context.languageVersionSettings.supportsFeature(LanguageFeature.ReportErrorsForComparisonOperators) val replicateK1Behavior = !context.languageVersionSettings.supportsFeature(LanguageFeature.ReportErrorsForComparisonOperators)
compiler/testData/diagnostics/testsWithStdLib/equalityCompatibilityCommonCases.fir.kt
Vendored
+1 -1
View File
@@ -100,7 +100,7 @@ fun incompatibleIdentityRegardlessNullabilityWithValueClassesSmartCast(c: Any?,
enum class F enum class F
fun <T: E, K: F> incompatibleEnumComparisonWithTypeParameters(e: T, f: K) { fun <T: E, K: F> incompatibleEnumComparisonWithTypeParameters(e: T, f: K) {
<!INCOMPATIBLE_ENUM_COMPARISON_ERROR!>e == f<!> <!INCOMPATIBLE_ENUM_COMPARISON!>e == f<!>
} }
interface A interface A