You can already do this with strict type checking enabled and the NonNullable type. You can't enforce it in any normal codebase because null is used extensivel

You can already do this with strict type checking enabled and the NonNullable type. You can't enforce it in any normal codebase because null is used extensively in the third party libraries you'll have to use for most projects.