--- Comment #3 from Bruno Medeiros <> 2010-11-19 
15:11:32 PST ---
If instead of:

@ghost static int x;

you have:

debug(contracts) static int x;

and "contracts" is said identifier that is only defined in non-release mode,
then the compiler can enforce those constraints equally well: Just compile it
in release and see if it compiles without errors or not. It might be a minor
drawback in compiling performance (if you need to compile twice), but it is not
any less of a drawback on compiler checking power.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to