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