b6ab691389
Two renames, to make the implementation more closely match https://github.com/dart-lang/language/pull/763: - typesOfInterest -> tested - promotion chain -> promoted types Change-Id: If2c0d72c81bee45ef94fc4fb04000f5c9ed84f26 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/130570 Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Paul Berry <paulberry@google.com>