Automatic invariant generation

[Walter Bright via Digitalmars-d]

On 7/7/2017 7:31 AM, Nicholas Wilson wrote:
> asserts that the this pointer is not null, apparently which is annoying because 
> you'd crash anyway. I suppose you might get a nicer error message but it doesn't 
> add much.

If I recall correctly, the nicer message was the reason. (It was a long time ago.)

This kind of thing has been asked for, a lot. The current thread entitled:

"All asserts need to have messages attached! Explicit as possible!"

is representative.