Paul Berry 5668aa4732 Flow analysis: Add patternRequiredType. ...

This method is used for declared variable patterns, list patterns, map
patterns, record patterns, object patterns, and wildcard patterns to
cause the value being matched to be promoted.

As a temporary measure it's also used for cast patterns; this will be
fixed in a later CL.

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

2023-01-26 15:54:17 +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][cfe][analyzer] Initial implementation of exhaustiveness checking

2023-01-24 13:34:46 +00:00

flow_analysis

Flow analysis: Add patternRequiredType.

2023-01-26 15:54:17 +00:00

inference

Analyzer: Add id testing for inferred variable types

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

inheritance/data

Generate a diagnostic for language overrides prior to 2.12

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

macros

Fix typos

2022-09-16 19:35:00 +00:00

sdk

Migrate _fe_analyzer_shared to null safety.

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

type_inference

Shared inference testing: replace factor and subtype tables with an algorithm.

2023-01-26 15:53:47 +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

Flow analysis: Add patternRequiredType.

2023-01-26 15:54:17 +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

Shared inference testing: replace factor and subtype tables with an algorithm.

2023-01-26 15:53:47 +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