Chloe Stefantsova cb64e6e1ed [analyzer][cfe] Add futureType to shared operations ...

Type constraint generation requires construction of the `Future` type
in order to handle `FutureOr` input types. This CL adds a shared
method for creating `Future` types with the given type argument and
uses the shared method in the constraint generation methods in both
the Analyzer and the CFE.

Part of https://github.com/dart-lang/sdk/issues/54902

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

2024-04-04 06:57:24 +00:00

..

inferred_type_arguments/data

…

inferred_variable_types/data

…

type_constraint_generation/data

[analyzer][cfe] Add futureType to shared operations

2024-04-04 06:57:24 +00:00