On 10/18/13, Jonathan M Davis <jmdavisProg at gmx.com> wrote: > If you want to call a member function from an invariant, it > should be static, or it should be a free function. I can also be private, the diagnostic is pretty clear about that. :)