http://d.puremagic.com/issues/show_bug.cgi?id=5027
--- Comment #2 from bearophile_h...@eml.cc 2010-11-19 09:45:30 PST --- (In reply to comment #1) > Or alternatively, have the compiler define a debug/version identifier when > compiled in release mode, and then just use conditional compilation. In that case the compiler can't enforce this constraint: > can't be accessed inside static or instance methods of the > class/struct/union, The idea is that ghost field may be read/written only inside pre/post-conditions and invariants. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------