Stack overflow

[Namespace]

> A non-nullable type _will_ be added to Phobos at some point.

As struct or class or as built-in type?

And can me explain somebody why
[code]
@disable
this(typeof(null));
[/code]
print "Stack overflow"?