Further correction. On Sat, 29 Jan 2011 12:09:41 +0000, Bernard Helyer wrote: >> FWIW, GDC doesn't do the rewrite, > > On structs, it does the rewrite on class instances (boo!).
It checks for null then checks the invariant. I think that's a good compromise, given that an object without an invariant passes the assert.
