sdk/pkg/_fe_analyzer_shared/test at 50aae78e4e1fdbe435e2dfd9293d69f9d91e1cab - sdk

Files

T

Paul Berry ac1ad9f393 Update shared analysis of object patterns to match spec.

In
https://github.com/dart-lang/language/commit/ce01d330d7cadf197d160553334b70465deca550,
the patterns spec was changed so that if an object pattern's type
resolves to `dynamic` or `Never`, no getters are looked up during
static analysis, and the getter type is simply presumed to be
`dynamic` or `Never`, respectively.

Also, the parameter `requiredType` of `analyzeObjectPattern` is
removed (is was not needed, and the caller always passed `null`).

Finally, the test artifact `ObjectPatternRequiredType` is removed in
favor of just using a PrimaryType directly.  This makes the tests a
little bit more compact.

Change-Id: I6fcef8dab8250905e1d37308bbdc82a4fd65f52c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/270982
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2022-11-21 13:12:00 +00:00

constants

…

exhaustiveness

Import exhaustiveness checker prototype into _fe_analyzer_shared.

2022-05-17 17:46:39 +00:00

flow_analysis

Shared analysis logic: remove .noGuard from tests.

2022-11-17 15:35:07 +00:00

inference

…

inheritance/data