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

[FIR] Fix WRONG_IMPLIES_CONDITION problem in DFA model

Browse Source
This commit is contained in:
Mikhail Glukhikh
2020-11-26 11:39:09 +03:00
parent 7fd96f5773
commit 1dc897346c
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt
-2
View File
@@ -261,7 +261,6 @@ infix fun RealVariable.typeNotEq(type: ConeKotlinType): TypeStatement =
fun DataFlowVariable.isSynthetic(): Boolean { fun DataFlowVariable.isSynthetic(): Boolean {
contract { contract {
returns(true) implies (this@isSynthetic is SyntheticVariable) returns(true) implies (this@isSynthetic is SyntheticVariable)
returns(false) implies (this@isSynthetic is RealVariable)
} }
return this is SyntheticVariable return this is SyntheticVariable
} }
@@ -270,7 +269,6 @@ fun DataFlowVariable.isSynthetic(): Boolean {
fun DataFlowVariable.isReal(): Boolean { fun DataFlowVariable.isReal(): Boolean {
contract { contract {
returns(true) implies (this@isReal is RealVariable) returns(true) implies (this@isReal is RealVariable)
returns(false) implies (this@isReal is SyntheticVariable)
} }
return this is RealVariable return this is RealVariable
} }