state of an object

[Namespace]

I cannot create the Foo objects _in_ the NotNull struct because i 
need the reference of an specific object.
And if i throw an error if the object paramter is null, it's not 
a compiler error.
So there is no way that a null reference as paramter can be 
detect at compile time? I tried different __traits but i wondered 
that there is nothing like
__traits(ThrowError, { object.toString(); }) which would be 
perfect to detect that cases.