"invariant()" is good place for this assertion.