[Issue 3856] const arguments/instance attributes in conditions/invariants

[d-bugmail at puremagic.com]

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



--- Comment #1 from bearophile_hugs at eml.cc 2010-03-01 09:09:00 PST ---
In practice pre/post conditions and invariants can even become pure. This
limits some of their usages (logging, printing), but not much.

Generally reading and modifying a global variable inside a condition/invariant
doesn't look like tidy code.

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