da55e09d7f
Changes the signatures of the following flow analysis methods: - `ifNullExpression_rightBegin` - `nonNullAssert_end` so that the caller is responsible for looking up the expression info of the matched value, and passing it in to flow analysis. Change-Id: I6998042a3048c0d9c2cc5967d1f6f3e0ce744435 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/479842 Commit-Queue: Paul Berry <paulberry@google.com> Reviewed-by: Paul Berry <paulberry@google.com> Auto-Submit: Chloe Stefantsova <cstefantsova@google.com>