Non-null objects, the Null Object pattern, and T.init

[Tobias Pankrath]

On Saturday, 18 January 2014 at 11:03:22 UTC, Jacob Carlborg 
wrote:
> On 2014-01-18 11:41, Daniel Murphy wrote:
>
>> The code that detects the null dereference is in the optimizer.
>
> Why is it located there?

It's probably flow sensitive and only the optimizer builds a CFG.