"Walter Bright" wrote in message news:m78i71$1c2h$1...@digitalmars.com...
It all depends on how invariant is defined. It's defined as an invariant on what it owns, not whatever is referenced by the object.
Whether or not it owns the data it references is application specific. Where are you saying the correct place to put a check like my example, to ensure that an owned object correctly references its parent?
