tree dcbeb4c6435555bfff3db6284d431a0522b3bb5e
parent ba3e7a60e33f1a99beb21eb64472d54c4d742cb5
author Paul Berry <paulberry@google.com> 1619012300 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1619012300 +0000

Flow analysis: additional "why not promoted" test cases.

These test cases already work properly, but they weren't previously
covered by tests.

Bug: https://github.com/dart-lang/sdk/issues/44898
Change-Id: I4fc6506230af203a361631afc542e0db08bd6f27
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/196106
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>