tree 8718215e23f68a075ce7143b4d0f76684182fcb3
parent ea4eaaa145ef8b6d80cd865ae4077755f91b182d
author Paul Berry <paulberry@google.com> 1560805581 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1560805581 +0000

Migration: rework the ExpressionChecks data structure.

We no longer need to keep pointers to the nullability nodes directly
in the ExpressionChecks data structure; we merely need to record which
edges, if unsatisfied, would require a check.

This allowed the tests using assertNullCheck to be clarified--they now
simply verify that the appropriate edge exists, and then pass that
edge to assertNullCheck to verify that the ExpressionChecks object
points to the appropriate edge.

Change-Id: Iaaee51d1f23ca6f86a2fbf0a15ded6a844b2811b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/106383
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>