tree b0a730d559889e43239064d4c50daf5e78a1883a
parent c2339ee7824868c2c49fda622804ab72570563e4
author Paul Berry <paulberry@google.com> 1647959148 +0000
committer Commit Bot <commit-bot@chromium.org> 1647959148 +0000

Add experimental flag `inference-update-1`.

This is intended to be an umbrella for several features we plan to
implement during Q2:

- Improved type inference for methods like `Iterable.fold`
  (https://github.com/dart-lang/language/issues/731).

- Promotion of final fields
  (https://github.com/dart-lang/language/issues/2020).

- Other type inference and type promotion issues as time allows.

Change-Id: I31db3c15d3f6a2654650f056866c61f3d1023600
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/237924
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: William Hesse <whesse@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>