tree e0663537efa1573689def3d25fe3fa70290b4e95
parent 9df6426adbedcd78793d2c01763d1113489a2fc7
author Kevin Millikin <kmillikin@google.com> 1528995469 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1528995469 +0000

Consider initializing formals during top-level type inference

The previous implementation assumed that initializing formals without
type annotations could be inferred after the rest of top-level type
inference was completely done.  This is not necessarily the case
because inferred types for initializing formals depend on inferred
types for fields which in turn depend on inferred types for
constructors used in their initializers.

Fixes https://github.com/dart-lang/sdk/issues/32866

Change-Id: I9de0b865c740d7542e5f5ad3d62c4c47c4532266
Reviewed-on: https://dart-review.googlesource.com/60140
Commit-Queue: Kevin Millikin <kmillikin@google.com>
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>