[FIR] Add workaround about incorrect safe call invoke desugaring

#KT-36014
2020-01-22 14:45:31 +03:00
parent 62e01a8aa4
commit 93906bad1d
1 changed files with 2 additions and 1 deletions
@@ -531,7 +531,8 @@ abstract class FirDataFlowAnalyzer<FLOW : Flow>(
        val node = graphBuilder.exitSafeCall(qualifiedAccess).mergeIncomingFlow()
        val variable = variableStorage.getOrCreateVariable(qualifiedAccess)
        val receiverVariable = when (variable) {
-            is RealVariable -> variable.explicitReceiverVariable!!
+            // There is some bug with invokes. See KT-36014
+            is RealVariable -> variable.explicitReceiverVariable ?: return
            is SyntheticVariable -> variableStorage.getOrCreateVariable(qualifiedAccess.explicitReceiver!!)
        }
        logicSystem.addImplication(node.flow, (variable notEq null) implies (receiverVariable notEq null))