Null pointer dereferencing in D

[Maxim Fomin via Digitalmars-d]

On Saturday, 14 June 2014 at 17:05:21 UTC, David Nadlinger wrote:
> On Saturday, 14 June 2014 at 16:45:19 UTC, Maxim Fomin wrote:
>> The case which you described is a not a type safety problem.
>
> If a struct type has a non-trivial invariant(), .init allows an 
> object to exist that violates it without an Error being thrown.
>
> Arguing that this is not part of the type system would be 
> splitting hairs.
>
> David

Déjà vu

http://forum.dlang.org/thread/mohceehplxdhsdllxkzt@forum.dlang.org#post-mailman.550.1349377293.5162.digitalmars-d:40puremagic.com

https://issues.dlang.org/show_bug.cgi?id=7021

If I not mistaken it was Kenji who updated the init spec.