Ghost fields for Contract Programming

[Tomek Sowiński]

bearophile napisał:

> The ghost fields may be used to store partial computations useful to reduce the work done 
by the class invariant.

You can do:

class C {
  version(unittest) int temp;
  invariant() {
    // use temp
  }
}

Or am I missing something?

-- 
Tomek