Paul Berry 745c648eb3 Flow analysis: propagate types of interest out of "for" and "while" loops. ...

Bug: https://github.com/dart-lang/language/issues/1203
Change-Id: Ie46c6a46e69c8eb4cd55e8d080bc3b66d2fd90b4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/162483
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>

2020-09-14 14:33:39 +00:00

..

assigned_variables/data

[analyzer,cfe,dart2js] Add marker.options files to automate running id tests on all configurations

2020-02-21 08:34:26 +00:00

definite_assignment/data

[analyzer,cfe] Handle (un)assigned state in try-statement

2020-04-01 15:46:15 +00:00

definite_unassignment/data

Make flow analysis handle for-each loops more consistently with their desugaring.

2020-09-12 15:18:15 +00:00

nullability/data

Flow analysis: rework handling of equality tests.

2020-08-14 12:16:36 +00:00

reachability/data

Reland "Flow analysis changes to fix mixed-mode unsoundness loophole."

2020-09-03 01:01:43 +00:00

type_promotion/data

Flow analysis: propagate types of interest out of "for" and "while" loops.

2020-09-14 14:33:39 +00:00

assigned_variables_test.dart

…

flow_analysis_test.dart

Flow analysis: propagate types of interest out of "for" and "while" loops.

2020-09-14 14:33:39 +00:00