Added a new invariant check and the fixes required to make it pass. Not the new check is by no means exaustive (it doesn't even check every readonly pointer) but it should catch the most common/problematic cases.
(No files)
Note: See TracChangeset
for help on using the changeset viewer.