When testing if asserting an object exists, it should verify that it is not null first.

class A {
    int i;
    invariant() {
        assert(i == 0);
    }
}

void main() {
    A a;
    assert(a);
}