AllNonNull

class Class
{
    @AllNonNull
    Object[] objs;

    this(Object[] objs)
    {
        this.objs = objs;
    }

    mixin(GenerateInvariants);
}

(new Class(null)).objs.shouldEqual(Object[].init);
(new Class([null])).shouldThrow!AssertError;
(new Class([new Object, null])).shouldThrow!AssertError;

class Class
{
    @AllNonNull
    Object[int] objs;

    this(Object[int] objs)
    {
        this.objs = objs;
    }

    mixin(GenerateInvariants);
}

(new Class(null)).objs.shouldEqual(null);
(new Class([0: null])).shouldThrow!AssertError;
(new Class([0: new Object, 1: null])).shouldThrow!AssertError;

class Class
{
    @AllNonNull
    int[Object] objs;

    this(int[Object] objs)
    {
        this.objs = objs;
    }

    mixin(GenerateInvariants);
}

(new Class(null)).objs.shouldEqual(null);
(new Class([null: 0])).shouldThrow!AssertError;
(new Class([new Object: 0, null: 1])).shouldThrow!AssertError;