b05190499d
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>