The algorithms for computing the greatest and lowest closures of a
type schema are shared between the Analyzer and the CFE. As a
work-around for the discrepancy between the behavior of the tools, the
interface of the greatest closure computation accepts the top type to
be used as one of its parameters.
Part of https://github.com/dart-lang/sdk/issues/54902
Change-Id: I378c562c39078b20c48015cdf44eb652c8d4c000
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/438660
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
Chloe Stefantsova
0687036cb9