Paul Berry bace4c0b8a Shared type analysis for patterns: issue 2458 is now resolved. ...

The spec has been updated so that the pattern type schema is only used
in irrefutable contexts, and consequently we don't need to come up
with a type schema for refutable patterns.

The prototype code already made these assumptions, so there is no
change, only comment updates.

Bug: https://github.com/dart-lang/language/issues/2458
Change-Id: I4179953fff24ad596d990ab0423fe35f8a010805
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/259860
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>

2022-09-19 17:09:31 +00:00

..

src

Shared type analysis for patterns: issue 2458 is now resolved.

2022-09-19 17:09:31 +00:00