tree 055dcbd500ed914f403b4da3c7c4a3ae23f7f9d9
parent f3fe9dc3b3392a5e5442535c9fe265fbfc977d15
author Paul Berry <paulberry@google.com> 1607092815 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1607092815 +0000

Flow analysis: allow `identical` to promote values to non-nullable.

This change causes `identical(x, y)` to be treated similarly to `x ==
y` for flow analysis.  For example:

    int? x = ...;
    if (!identical(x, null)) {
      print(x + 1); // Ok, x is known not to be null.
    }

Fixes https://github.com/dart-lang/language/issues/1226.

Bug: https://github.com/dart-lang/language/issues/1226
Change-Id: If2939d3d4dd0dc9d7aaf39984045e9ec3e10ce7d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/174760
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>