Issue 48: Pure & Share invariants with stateInfo should be disalowed.
Status:  Verified
Owner:
Closed:  Jul 2009
Project Member Reported by nels.bec...@gmail.com, Oct 8, 2008
It is my recollection (and it certainly seems correct) from the formal 
system that an invariant is not allowed to depend on a @Pure or @Share 
permission being in a particular state, since that state could change at 
any time (packing does not prevent this).

Therefore, we should extend the PluralAnnotationAnalysis so that it checks 
for this problem and reports an error.
Jul 22, 2009
Project Member #1 nels.bec...@gmail.com
Fixed in r373.
Status: Verified