Coverity tool

[Ary Borenszweig]

Michel Fortin wrote:
> unittest {
>     NonNullable!Object o;

Here o is null.

>     NonNullable!ClassInfo o2 = o.classinfo;
>     NonNullable!TypeInfo o3;
>     //NonNullable!Object o4 = o2; // FIXME: polymorphic NonNullable
>     o = new Object;
>     o = o2;
>     try {
>         o = o3; // should throw
>         o.toString();
>         assert(0, "prior assignment should have thrown");
>     } catch (IllegalNullAssignment e) {
>         // ok, error thrown.
>     }
> }