Paul Berry
4ee861b7d0
We now track the following additional information: - All local variable reads and read captures (previously we only tracked writes) - For any conditional expression (`?:`) or if-test, the variables written in the "then" branch - For any logical and expression (`&&`), the variables written in the right hand side of the expression Tracking this information will allow us to implement legacy type promotion as part of _fe_analyzer_shared, using the same API as flow anaylsis, which will in turn allow a lot of front end and analyzer code to be removed and simplified. Change-Id: I01aaf64cefb989a4450c8e6d3a8373c1ca2b6dec Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/179980 Commit-Queue: Paul Berry <paulberry@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Reviewed-by: Johnni Winther <johnniwinther@google.com>