pyos 5b08c300f4 FIR DFA: don't assume != true/false => == false/true ...

This also fixes some returnsNotNull contracts because the old code added
an implication that `== true` => `!= null` then promptly removed any
statement that this could've affected if the argument was a synthetic
variable.

^KT-26612 tag fixed-in-k2

2022-11-22 15:44:34 +00:00

..

andOperator.fir.kt

…

andOperator.kt

…

andOperator.txt

…

andOperatorWithConstant.fir.kt

…

andOperatorWithConstant.kt

…

andOperatorWithConstant.txt

…

andOperatorWithUnknown.fir.kt

…

andOperatorWithUnknown.kt

…

andOperatorWithUnknown.txt

…

equalsOperator.fir.kt

…

equalsOperator.kt

…

equalsOperator.txt

…

equalsWithNullableBoolean.fir.kt

FIR DFA: don't assume != true/false => == false/true

2022-11-22 15:44:34 +00:00

equalsWithNullableBoolean.kt

…

equalsWithNullableBoolean.txt

…

isInstanceOperator.fir.kt

…

isInstanceOperator.kt

…

isInstanceOperator.txt

…

orOperator.fir.kt

…

orOperator.kt

…

orOperator.txt

…

orOperatorWithConstant.fir.kt

…

orOperatorWithConstant.kt

…

orOperatorWithConstant.txt

…

orOperatorWithUnknown.fir.kt

…

orOperatorWithUnknown.kt

…

orOperatorWithUnknown.txt

…