[Issue 7369] Inout constructor causes compiler to reject invariant

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sat Jan 28 02:16:53 PST 2012


http://d.puremagic.com/issues/show_bug.cgi?id=7369



--- Comment #3 from yebblies <yebblies at gmail.com> 2012-01-28 21:16:20 EST ---
(In reply to comment #2)
> invariant() const {}
> doesn't compile.  Though I've just found that
>     const invariant() {}
> does.
> 

That's looks like another bug.  Would you like to file it?

> But why aren't invariants automatically const?

Probably the same reason in and out contracts aren't const... but at least
there's a trivial workaround.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list