tree 4e63bdea7e45f905336a0a6cdb2d117bdb7d15a1
parent f3aca1147850a838c4ea16b75573e92bac92c1a9
author Paul Berry <paulberry@google.com> 1557762220 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1557762220 +0000

Add new nullability propagation logic based on the NullabilityGraph.

For now, we verify that the new logic produces the same results as the
old logic.  In follow-up CLs, the old nullability propagation logic
will be removed.

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