On Sun, Jun 17, 2012 at 8:42 AM, Jonathan M Davis <[email protected]> wrote:
> It wouldn't be. No public function was called. All you did was access the > public member variable. Having public members and invariants at the same time > doesn't work very well. If I change int value; to private int value; it can still be accessed through alias this (I guess) and no invariant is called.
