tree e1cbed9a6667c67ea3db7ecbd39d1ca9e24e925e
parent fa6fce61fae6bbc6384faa81e33f761032104ec1
author Paul Berry <paulberry@google.com> 1560370224 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1560370224 +0000

Migration: Make always/never instance fields of the nullability graph.

Previously, they were static, which made them easier to access, but
made it difficult to track their edges (because we couldn't safely
mutate them, so we had to store their edges in special fields of
NullabilityGraph).  Now that we're passing NullabilityGraph all over
the place anyhow, there's no benefit to making them static anymore.

Change-Id: Ia3e7d32ae479f40f505621e5d6df04060e39b1c7
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/105723
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>