Re: Automatic invariant generation

[Steven Schveighoffer via Digitalmars-d]

On 7/7/17 4:21 AM, Nicholas Wilson wrote:
The compiler seems to inset an `assert(this !is null, "null this");` 
into my struct.
which is for all intents and purposes.
struct Foo {
     Bar b;
}
struct Bar {
     void* ptr;
}

What? When is this invariant called? I've never heard of a hidden 
invariant being added to structs, structs are supposed to be free of 
such things.

I would call such a thing a bug.

-Steve