sdk/pkg/_fe_analyzer_shared/test at 63772f10fee24fc0cd0957151fc2cfac9ec5e4e2 - sdk

Files

T

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

…