On Thursday, August 11, 2011 06:58:51 Don wrote: > I think that EVERY struct and class in Phobos should have an invariant > (except for something like Complex, where there are no invalid values). > But I don't think 'out' contracts would add much value at all.
That would be great, but several bugs need to be fixed before that's possible, including http://d.puremagic.com/issues/show_bug.cgi?id=1251 http://d.puremagic.com/issues/show_bug.cgi?id=5039 http://d.puremagic.com/issues/show_bug.cgi?id=5058 http://d.puremagic.com/issues/show_bug.cgi?id=5500 - Jonathan M Davis
