but please, take my words with a grain of salt. i'm in no way a
representative of D devs. that is how *i* understand
invariants. it seems to be consistent with the cases where
invariant works,
This is the first serious project I do with D, so I'm kind of
discovering the language as I write my code. I found the
contracts page and got overly excited about it, so you're
probably right.
but the designers may have different opinion, and don't have
time to
properly fix invariant handling.
That's fair. Useful as it may be for debugging, it's something I
can live without.
