No, I don&#x27;t think that it should. Note that the only reason why the semantic invariant that len&#x2F;cap aren&#x27;t mutated is relevant to type safety is because the unsafe blocks depend on that to do the right thing.<p>The reason for the phenomenon described in the article is not that it&#x27;s possible to do unsafe things outside unsafe blocks. It&#x27;s that, <i>in practice</i>, unsafe blocks often depend on invariants that are only enforced by module-level privacy.