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

..

constants

Generate a diagnostic for language overrides prior to 2.12

2023-01-10 05:27:48 +00:00

exhaustiveness

[_fe_analyzer_shared] Handle empty types in exhaustiveness

2023-04-05 18:26:06 +00:00

flow_analysis

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

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

inference

Analyzer: Add id testing for inferred variable types

2021-04-15 16:51:47 +00:00

inheritance/data

[cfe] Avoid reporting subtype modifier errors on final supertypes outside of library.

2023-03-16 19:01:17 +00:00

macros

Add support for enums in the macro APIs

2023-04-07 19:57:55 +00:00

sdk

Migrate _fe_analyzer_shared to null safety.

2020-12-12 03:22:29 +00:00

type_inference

Changes for map pattern: report an error for rest elements, empty map pattern.

2023-03-30 17:54:06 +00:00

util

[_fe_analyzer_shared] Add support for stack base checking

2023-01-19 10:44:42 +00:00

annotated_code_helper_test.dart

Flow analysis: begin tracking non-promotion reasons.

2021-02-02 16:15:34 +00:00

deferred_function_literal_heuristic_test.dart

Ensure that deferred function literals are visited in source order during each type inference stage.

2022-04-12 15:24:22 +00:00

id_generation_test.dart

Change : to = for default values in pkg.

2022-08-24 15:57:16 +00:00

mini_ast.dart

Changes for map pattern: report an error for rest elements, empty map pattern.

2023-03-30 17:54:06 +00:00

mini_ir.dart

Implement analyzeMapPattern() in TypeAnalyzer.

2022-11-22 19:51:38 +00:00

mini_types_test.dart

Shared analysis tests: Use a map for record named fields.

2023-01-25 22:26:19 +00:00

mini_types.dart

Flow analysis tests: use a trailing comma for unary types

2023-02-08 15:38:48 +00:00

resolve_input_uri_test.dart

[cfe] Move option parsing code to _fe_analyzer_shared

2021-08-03 18:29:25 +00:00

template_replacement_test.dart

[cfe,analyzer] Pass message arguments directly to AnalysisError

2021-01-11 16:45:26 +00:00