dart-lang/sdk
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
26da655ddfc68ef9502f1ffdb82ccbd6fa0b22ed
sdk/pkg/_fe_analyzer_shared/test
T
History
Paul Berry 6cea1790bd [flow analysis] Fix invalid type of interest promotion. 
This change closes a loophole whereby it was possible for "type of
interest" promotion to promote to a type that was not a subtype of the
declared type.

I've gone ahead and included more extensive tests (both in unit test
and language test form) of demotion and type of interest promotion, to
try to make sure there aren't other loopholes.

Fixes https://github.com/dart-lang/sdk/issues/60620.

Bug: https://github.com/dart-lang/sdk/issues/60620
Change-Id: Ifef04cde6fda2aee80ec002c7ca04f2be6cff987
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/427920
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
2025-05-13 06:10:25 -07:00
..
constants/data
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
exhaustiveness
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
flow_analysis
[flow analysis] Fix invalid type of interest promotion.
2025-05-13 06:10:25 -07:00
inference
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
inheritance/data
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
metadata
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
sdk
Migrate _fe_analyzer_shared to null safety.
2020-12-12 03:22:29 +00:00
type_inference
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
util
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
annotated_code_helper_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
deferred_function_literal_heuristic_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
field_promotability_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
id_generation_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
keyword_state_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
mini_ast.dart
[flow analysis] Allow non-cascaded field accesses to participate in field promotion.
2025-05-12 08:25:20 -07:00
mini_ir.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
mini_type_constraint_gatherer.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
mini_types_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
mini_types.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
resolve_input_uri_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
scanner_benchmark.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00
template_replacement_test.dart
Bump _fe_analyzer_shared to SDK 3.7 and reformat
2025-05-10 15:32:50 -07:00