tree a88296431ad588925014422a938f089edd59a064
parent 43a96d49afb69eba6179fa083a97f8bec581f4d8
author Konstantin Shcheglov <scheglov@google.com> 1547586560 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1547586560 +0000

Partial implementation of the unified specification of definite assignment, type promotion, and reachability analysis.

Tests marked with the "new test" comment would not pass without the
unified specification, i.e. with type promotion implementation that
currently works in analyzer, or definite assignment analysis that I
implemented earlier.

R=brianwilkerson@google.com, paulberry@google.com

Change-Id: I9ba6fde991567e9a2761a7606af28ca1e260de54
Reviewed-on: https://dart-review.googlesource.com/c/89260
Commit-Queue: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>