Paul Berry
5dec261948
I accidentally called the test group "Sound null safety", which is a related concept, but not the same thing. Sound null safety is a compilation mode in which no legacy code is allowed, and so it is sound to assume that an expression with a non-nullable type cannot evaluate to `null`. It has been the only allowed way to compile Dart programs for some time. Sound flow analysis, on the other hand, is a set of improvements to flow analysis which are possible now that all Dart programs are now compiled in sound null safety mode. It is a language-versioned feature that is enabled in Dart 3.9. Change-Id: Ib13d28be7fecea6d0e931b33d6643afab2349629 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/432004 Auto-Submit: Paul Berry <paulberry@google.com> Reviewed-by: Konstantin Shcheglov <scheglov@google.com> Commit-Queue: Konstantin Shcheglov <scheglov@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.