Paul Berry adbf363009 flow analysis: don't promote scrutinee of irrefutable patterns. ...

As discussed in
https://github.com/dart-lang/language/issues/2857#issuecomment-1458522087,
we only want a pattern match to promote the scrutinee in refutable
contexts (if-case and switch).

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

2023-03-21 21:17:12 +00:00

..

constants

Generate a diagnostic for language overrides prior to 2.12

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

exhaustiveness

[_fe_shared_analyzer] Use real exhaustiveness checking algorithm

2023-03-17 16:45:35 +00:00

flow_analysis

flow analysis: don't promote scrutinee of irrefutable patterns.

2023-03-21 21:17:12 +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

[macros] change keyword getters to has* style names and fix up usages

2023-03-21 19:36:54 +00:00

sdk

…

type_inference

Report RELATIONAL_PATTERN_ARGUMENT_TYPE_NOT_ASSIGNABLE instead.

2023-03-10 01:56:23 +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

…

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: don't promote scrutinee of irrefutable patterns.

2023-03-21 21:17:12 +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

…