FIR DFA: extract approveStatementsInsideFlow(variable notEq null)

I'm not sure how this fixes a test. Magic!
2022-11-08 15:53:23 +01:00
parent 623dfdd5a3
commit 1ff968eca2
2 changed files with 13 additions and 37 deletions
@@ -8,7 +8,7 @@ fun calc(x: String?, y: String?): Int {
        // x is not null in condition but we do not see it yet
    } while (x.length > 0)
    // y is nullable because of break
-    y.length
+    y<!UNSAFE_CALL!>.<!>length
    // x is not null, at least in theory
    return x.length
 }