Paul Berry d695d95263 Shared type analysis: add "if-case" support. ...

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

2022-09-16 13:41:31 +00:00

..

assigned_variables/data

Flow analysis: ensure that not-yet-declared variables aren't marked as captured.

2022-01-11 15:42:04 +00:00

definite_assignment/data

Fix flow analysis handling of late variables with initializers.

2020-09-28 14:40:02 +00:00

definite_unassignment/data

Fix flow analysis of a late initializer that is an assignment expression

2020-10-02 12:09:08 +00:00

nullability/data

Add a flow analysis ID test of new constructor-tearoffs behaviors.

2021-09-07 21:39:46 +00:00

reachability/data

Flag additional code as unreachable due to types Null and Never.

2022-08-22 16:50:19 +00:00

type_promotion/data

[cfe] Separate out IntersectionType from TypeParameterType

2022-08-18 08:47:29 +00:00

why_not_promoted/data

Flow analysis: implement "why not promoted" for binary/unary operator target.

2021-04-22 12:21:46 +00:00

assigned_variables_test.dart

Flow analysis: break up libraries.

2022-08-11 13:18:52 +00:00

flow_analysis_mini_ast.dart

Shared type analysis for patterns: Refactor VariableBindings logic.

2022-09-13 17:07:48 +00:00

flow_analysis_test.dart

Shared type analysis: add "if-case" support.

2022-09-16 13:41:31 +00:00