Paul Berry dc639c13cb Patterns flow analysis: recognize [...] (and related patterns) as trivially exhaustive. ...

If a list pattern consists of a single rest pattern, and that rest
pattern is guaranteed to match, then the whole list pattern is
guaranteed to match as well (provided that the matched value type is a
subtype of the list pattern's required type).

Bug: https://github.com/dart-lang/language/issues/2980
Change-Id: I316cc93d4e696f094716be92e1fbc1cd3a43a73c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/294622
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2023-04-11 19:54:20 +00:00

..

assigned_variables/data

[cfe] Use library features for allow patterns in the parser

2023-03-14 11:37:28 +00:00

definite_assignment/data

…

definite_unassignment/data

…

nullability/data

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

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

reachability/data

[cfe] Use library features for allow patterns in the parser

2023-03-14 11:37:28 +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 pattern analysis: add support for pattern variable assignment.

2022-12-09 17:16:38 +00:00

flow_analysis_test.dart

Patterns flow analysis: recognize [...] (and related patterns) as trivially exhaustive.

2023-04-11 19:54:20 +00:00