Christopher Wright wrote: > Or add an invariant. You know which field is null when it shouldn't be, > so that should be simple enough. Or use a property rather than a field > and add a contract. A runtime check is completely different from a compile time check. Sebastian