On 1/6/2014 7:20 PM, deadalnix wrote: > On Tuesday, 7 January 2014 at 03:18:01 UTC, Walter Bright wrote: >> Or you could amend the documentation to say that null checks will not be >> removed even if they occur after a dereference. > Which won't be true with LDC and GDC. You're assuming that LDC and GDC are stuck with C semantics.