Aquivalent References as in C++?

[Timon Gehr]

On 04/17/2012 08:40 PM, Namespace wrote:
>> Define 'ensure'.
>
> Guarantee, that the given object parameter isn't a null reference.

But C++ does not do that either.
Are you asking for a full-blown non-null type system?