sdk/pkg/_fe_analyzer_shared/test at 5b812f2a166ceace286b2f8a36940b41f1399acb - sdk

Files

T

Johnni Winther a7d5560ede [_fe_analyzer_shared] Compute multiple witnesses

This updates the exhaustive checking algorithm to produce a list of
witnesses instead of a single witness in case of a non-exhaustive error.

This is used to create a witness for each missing subtype when checking
"sealed static types", for instance enums and sealed classes.

The current error reporting isn't changed and only reports the first
witness. Use of the multiple witnesses in error messages and/or lints
must be done in the CFE and analyzer.

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

2024-03-14 08:36:28 +00:00

constants/data

Remove language version override from frontend constant tests

2024-01-10 10:23:58 +00:00

exhaustiveness

[_fe_analyzer_shared] Compute multiple witnesses

2024-03-14 08:36:28 +00:00

flow_analysis

Flow analysis: Use extension type erasure for implicit is reachability.

2024-01-24 15:23:27 +00:00

inference

[analyzer][cfe] Add id testing for type constraint generation