Proposal for non-nullable types in Dart · HackerTrans