tree 8e0c28bdc820e82b70a7918fb9ceb817a6d79957
parent 4ef2914caaf124f3ffe266587d66175bf437cb27
author Paul Berry <paulberry@google.com> 1663088868 +0000
committer Commit Bot <commit-bot@chromium.org> 1663088868 +0000

Shared type analysis for patterns: Refactor VariableBindings logic.

This change refactors the logic for detecting overlapping and missing
variable patterns so that it can be invoked prior to the rest of type
analysis, rather than during it.  In addition separating concerns
nicely (since no types are involved in these checks), I believe this
will facilitate integration with the analyzer and front end, by
allowing them to detect these errors and find the unique set of
variables defined by a pattern, at the time they are resolving
identifiers to their corresponding declarations.

Change-Id: I40879fca46d39e78a60813db007983e57a3aec31
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/259021
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>