tree 4d85a6fc1f88911a62de3c72bba50f3c1eca6d72
parent 14998dfa5a0bd51d03fca8554e17da4f5c772b04
author Johnni Winther <johnniwinther@google.com> 1615459181 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1615459181 +0000

[dart2js] Handle promotion in inference of locals known to be null

In the inferrer code like `local == null` would use the type information
for the operands to determine whether the call was `o == null` or
`null == o`. This had the side effect that if the left operand was a
local variable known to have value `null` the case would be treated as
`null == o` and the local would not be promoted to non-null on the false
branch.

Change-Id: I5fa08f8c891578f4c8e337e6cf5882fc2383063f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/189210
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Mayank Patke <fishythefish@google.com>