"kennytm" <kennytm at gmail.com> wrote in message > Also, the proposal only affects > asserts of the form > > assert(classObj); > And assert(ptrToStructWithInvariant);