I also recall seeing some work on non-nullable typ...
# language-proposals
k
I also recall seeing some work on non-nullable types recently