~ dfa
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt
index 5da3a6e..791fc20 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt
@@ -1139,7 +1139,9 @@
}
private fun exitBooleanNot(flow: MutableFlow, expression: FirFunctionCall) {
- val argumentVariable = variableStorage.get(flow, expression.dispatchReceiver!!) ?: return
+ val argumentVariable = variableStorage.get(flow,
+ expression.candidate()?.dispatchReceiverExpression() ?: expression.dispatchReceiver!!
+ ) ?: return
val expressionVariable = variableStorage.createSynthetic(expression)
// Alternatively: (expression == true => argument == false) && (expression == false => argument == true)
// Which implementation is faster and/or consumes less memory is an open question.
