dart-lang/sdk
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
182a20f835e909ec2bb2fc1237c1bc5283843cfd
sdk/pkg/_fe_analyzer_shared/test
T
History
Johnni Winther 17f4344336 [cfe,analyzer] Handle extension types in exhaustiveness checking 
This adds support for extension types in exhaustiveness checking by
performing extension type erasure on the type before computing the
corresponding static type/space.

Change-Id: Ie75c903aec52a7c34410695787a9bea6008d637d
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/340442
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>
2023-12-11 11:10:07 +00:00
..
constants
Extension type. Issue 53918. Fix type literal constant type.
2023-11-15 21:10:48 +00:00
exhaustiveness
[cfe,analyzer] Handle extension types in exhaustiveness checking
2023-12-11 11:10:07 +00:00
flow_analysis
Clean up enable/disable logic for flow analysis and type inference tests.
2023-10-27 17:51:44 +00:00
inference
…
inheritance/data
[cfe] Disallow implementing a legacy library subclass of a final/base class in the core libraries.
2023-05-10 14:31:50 +00:00
macros
[macros] Finish and fix ExtensionTypeDeclaration.
2023-12-07 15:37:39 +00:00
sdk
…
type_inference
Flow analysis: fix capitalization convention.
2023-10-27 17:52:39 +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
field_promotability_test.dart
Allow "field promotion" to apply to abstract getters.
2023-12-07 23:40:27 +00:00
id_generation_test.dart
[cfe] Remove unnecessary_null_comparison code
2023-06-08 08:46:47 +00:00
mini_ast.dart
Flow analysis: fix capitalization convention.
2023-10-27 17:52:39 +00:00
mini_ir.dart
Rename Ir to IR, per dart style conventions
2023-06-19 08:47:00 +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
Use errorType for element type when an error in for-in.
2023-05-03 21:17:08 +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
…