Sound null-safety: T non-nullable, T? nullable; ! — assert non-null; ?/?./?? — безопасные операции; late для отложенной инициализации.
Разбор
- promotion после проверок.
required в конструкторах.
- Избегайте
! без доказательства.
- legacy code — миграция пакетов.
Итог
Null-safety делает отсутствие значения явным в типе и ловит NPE на compile-time.