Under "other possible future enhancements": > Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricte

Under "other possible future enhancements": > Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricted, without requiring the programmer to use explicit ! symbols.