Johnni Winther
3184f2224b
This adds the initial implementation of exhaustiveness checking in the analyzer and CFE. The checking is currently only performed in switch statements and only handle a subset of the patterns. Change-Id: Ia0050c2c80fbefe3e22615599136f9d919ebe4ef Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/279173 Reviewed-by: Jonas Termansen <sortie@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Johnni Winther <johnniwinther@google.com> Reviewed-by: Jens Johansen <jensj@google.com>
FE/analyzer shared code
This package contains logic that is shared between the front_end and analyzer packages. It is intended solely to facilitate development of the Dart SDK, and is not intended for use by end users. In particular, this package has no public API, so no guarantee is made of compatibility between one version of the package and the next.
End users should consider using the analyzer package to analyze Dart source code.