Aquivalent References as in C++?

[Namespace]

On Tuesday, 17 April 2012 at 19:56:11 UTC, Timon Gehr wrote:
> On 04/17/2012 09:16 PM, Namespace wrote:
>>> But C++ does not do that either.
>>> Are you asking for a full-blown non-null type system?
>>
>> Yes, but of course only with a special Keyword/Storage class.
>
> If it is not the default, how would you enforce it at the 
> caller side?

By the compiler who throws an error message or a warning.
A warning or a better error message would help also, if a 
null-reference was in use.
But only the message "Access violation" without any information 
isn't enough, imo.

It seems that not-null references wouldn't be a part of D in near 
future.