This reverts commit a8cf0a0. Reason for revert: The CL broke a few places in google3. Original change's description: > [analyzer][cfe] Expand TypeAnalyzerOperations. Part 1 > > This CL adds more of the type operations required in the subtype > constraint gathering algorithm into the shared type operation > class. The added operations are used in the constraint gathering > algorithms in the Analyzer and the CFE. > > Part of #54902 > > Change-Id: Ia895fc84bd7ab666330a4ab32b6e759f0977e750 > Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/346840 > Reviewed-by: Johnni Winther <johnniwinther@google.com> > Reviewed-by: Paul Berry <paulberry@google.com> > Commit-Queue: Chloe Stefantsova <cstefantsova@google.com> Change-Id: Ibf75bb6dda4a4f5f36a2265036703977b28a4333 No-Presubmit: true No-Tree-Checks: true No-Try: true Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/353160 Auto-Submit: Chloe Stefantsova <cstefantsova@google.com> Reviewed-by: Slava Egorov <vegorov@google.com> Bot-Commit: Rubber Stamper <rubber-stamper@appspot.gserviceaccount.com> Reviewed-by: Johnni Winther <johnniwinther@google.com> Commit-Queue: Slava Egorov <vegorov@google.com>

Share implementation of type constraint generation and solving between the Analyzer and the CFE #54902

Description

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions