Paul Berry 4caae04fc8 Remove the fallback exhaustiveness algorithm. ...

Fixes #51518.

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

2023-03-22 17:13:19 +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

…

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

Remove the fallback exhaustiveness algorithm.

2023-03-22 17:13:19 +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

Remove the fallback exhaustiveness algorithm.

2023-03-22 17:13:19 +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

…

template_replacement_test.dart

…