Lines Matching full:invariant
2005 // start before the current range as this violates allocation invariant