Lines Matching full:invariant
6183 // it would be a violation of the invariant to record it's slots.