Fully sound. Dart’s null safety is sound, which enables compiler optimizations. If the type system determines that something isn’t null, then that thing canneverbe null. Once you migrate your whole project and its dependencies to null safety, you reap the full benefits of soundness—not onl...