Null-checked reference types

[IchorDev]

On Tuesday, 6 August 2024 at 14:55:46 UTC, Quirin Schroll wrote:
> Add the following type suffixes to the language: `?` and `!`.

Reference types are already nullable. Having a way to force them 
to be non-null would be nice (although you could just use 
contracts?), but I don’t think having to explicitly mark 
reference types as nullable makes sense. They’re reference types, 
of course they’re nullable! Having nullability for value types 
might be nice too, but again it’s something you can already 
achieve in other ways.