Johnni Winther 7f46b33019 [_fe_analyzer_shared] Return the shortest witness ...

This updates the exhaustiveness checking to return the shortest witness when no more cases match a value.

This also fixes an exponential case that occurred when checking for reachability.

Closes #59927

Change-Id: I82ede75113ca5d361875620287f7ce3c5fb2f5d2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/405120
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>

2025-01-21 00:24:33 -08:00

..

constants/data

Support digit separators

2024-07-09 14:50:59 +00:00

exhaustiveness

[_fe_analyzer_shared] Return the shortest witness

2025-01-21 00:24:33 -08:00

flow_analysis

[analyzer][cfe] Remove TypeStructure variable from shared classes

2025-01-20 01:58:43 -08:00

inference

Enable 'inference-using-bounds' flag in 3.7

2024-11-19 08:54:03 +00:00

inheritance/data

[cfe] Remove nnbd annotation from id-tests

2024-05-24 10:44:54 +00:00

macros

[parser/scanner] Remove ScannerConfig enableNonNullable

2025-01-13 00:32:35 -08:00

metadata

[_fe_analyzer_shared] Support deferencing of StaticGet

2024-11-11 07:04:20 +00:00

sdk

…

type_inference

[_fe_analyzer_shared] Move TypeConstraintGatherer to its own file.

2025-01-14 06:40:18 -08: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

field_promotability_test.dart

Clean up shared Operations classes.

2023-12-22 21:33:32 +00:00

id_generation_test.dart

[cfe] Remove unnecessary_null_comparison code

2023-06-08 08:46:47 +00:00

mini_ast.dart

[analyzer][cfe] Remove TypeStructure variable from shared classes

2025-01-20 01:58:43 -08:00

mini_ir.dart

[_fe_analyzer_shared] Add shared logic to support null-shorting.

2024-12-10 19:07:18 +00:00

mini_type_constraint_gatherer.dart

[analyzer][cfe] Remove TypeStructure variable from shared classes

2025-01-20 01:58:43 -08:00

mini_types_test.dart

[_fe_analyzer_shared] Renames to prepare for analyzer refactoring.

2025-01-06 06:12:22 -08:00

mini_types.dart

[analyzer][cfe] Remove TypeStructure variable from shared classes

2025-01-20 01:58:43 -08:00

resolve_input_uri_test.dart

…

scanner_benchmark.dart

[parser/scanner] Remove ScannerConfig enableNonNullable

2025-01-13 00:32:35 -08:00

template_replacement_test.dart

…