Walter Bright:
Invariants, per the spec, [...]
Right, I was proposing a little spec change. -------------------- Don:
Sounds like bug 519 to me.
http://d.puremagic.com/issues/show_bug.cgi?id=519 Hours ago I have added this: http://d.puremagic.com/issues/show_bug.cgi?id=9454 They are very similar, the test case from Issue 519 uses a new: class Foo { invariant() { assert (false); } } void main() { Foo foo = new Foo(); } While in Issue 9454 (just like in that Ada code) there is no new: struct Foo { int x = 200; invariant() { assert(x > 100); } } void main() { auto f = Foo(10); } Maybe my Issue 9454 should be merged with Issue 519. Bye, bearophile
