Paul Berry
3636c8a08b
According to the patterns spec, the pattern context type schema for a cast pattern should be `_`. What was actually implemented was `Object?`. This is unlikely to make a difference in practice, since (a) cast patterns are unlikely to be used in circumstances where the pattern context type schema makes a difference, and (b) it takes some effort to come up with expressions whose type inference behavior is differenc between a schema of `Object?` and a schema of `_`. Change-Id: I695752c8c163621a34faaa8d62b2b076c8152eb0 Bug: https://github.com/dart-lang/sdk/issues/54640 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/346383 Commit-Queue: Paul Berry <paulberry@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Reviewed-by: Chloe Stefantsova <cstefantsova@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.