> why would a primitive container make guarantees about the values it's storing

If you know you have valid UTF-8, you can safely skip bounds checks when decoding a codepoint that spans multiple bytes.