From 1dc897346ca86b078d39d5d12ad3b600ae8a2656 Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <mikhail.glukhikh@jetbrains.com>
Date: Thu, 26 Nov 2020 11:39:09 +0300
Subject: [PATCH] [FIR] Fix WRONG_IMPLIES_CONDITION problem in DFA model

---
 .../resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt   | 2 --
 1 file changed, 2 deletions(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt
index 33167fad3e8..46c99d2abc9 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/model.kt
@@ -261,7 +261,6 @@ infix fun RealVariable.typeNotEq(type: ConeKotlinType): TypeStatement =
 fun DataFlowVariable.isSynthetic(): Boolean {
     contract {
         returns(true) implies (this@isSynthetic is SyntheticVariable)
-        returns(false) implies (this@isSynthetic is RealVariable)
     }
     return this is SyntheticVariable
 }
@@ -270,7 +269,6 @@ fun DataFlowVariable.isSynthetic(): Boolean {
 fun DataFlowVariable.isReal(): Boolean {
     contract {
         returns(true) implies (this@isReal is RealVariable)
-        returns(false) implies (this@isReal is SyntheticVariable)
     }
     return this is RealVariable
 }