On 08/26/2013 08:49 AM, deadalnix wrote:
We simply need to add invariant check in the caller, not the callee, and not introduce them if the caller is itself subject to invariant insertion when called.
The issue with this is that the invariant is not part of the public interface.
