tree cc86abb75ddb9f303ea35b164f8aa87d1d6f0605
parent 894b1da29d76e2b7b81432428e85e9e63253bdb1
author Johnni Winther <johnniwinther@google.com> 1654792335 +0000
committer Commit Bot <commit-bot@chromium.org> 1654792335 +0000

[cfe] Support triggering inference through TypeBuilder.build

This adds the capability to trigger inference through
TypeBuilder.build when it is passed a ClassHierarchyBase object.

TypeBuilder.isExplicit is added to signal when a type can be built
without the need for inference. NamedTypedBuilder and
FunctionTypeBuilder are split into _Explicit* and _Inferred* subtype
the latter of which support late building of the type.

The new _Inferred* builders are not used yet.

Change-Id: I66fd669ae47e6eb3079461af31477215c262dcbb
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/247220
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>