A problem with D contracts

Kagamin spam at here.lot
Sun Aug 1 05:00:57 PDT 2010


bearophile Wrote:

> /*@ assert (\forall int i; 0 <= i && i < n; a[i] != null);
> 
This can be done with array op

assert(a[0..n].notSame(null));


More information about the Digitalmars-d mailing list