d类不变量继承

原文
规范说:类不变量是继承的,即,子类要满足基类不变量.

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);
}

B应满足:

assert(i >= 2)
//这里上面应失败
assert(i <= 10)

然而,并没有调用A不变量
7337是关于在调用方法后不为无不变量的派生类调用基类中的不变量,而19537是关于在调用方法后不同时调用基类和派生类中的不变量.