import core.exception;

​

class A

{

    int i = 3;

    invariant { assert(i >= 2); }

}

class B : A

{

    void setB(int v) { i = v; }

    invariant { assert(i <= 10); }

}

void main()

{

    B b = new B;

    b.setB(1);

}