I'd like D docs to state that invariants can be used inside structs too (so putting the explanation of invariants in this page is bad: http://www.digitalmars.com/d/2.0/class.html#Invariant ).

The documentation about struct invariants also needs to exaplain that the assert() syntax can't be used to call struct invariants (as it is possible with class references):


struct Foo {
    int x;
    invariant() { assert(x == 1); }
}
void main() {
    Foo f;
    assert(f); //  Error: expression f of type Foo does not have a boolean value
}