&gt; In some other languages strings are always immutable, and mutating them requires creating a copy.<p>Those languages used to introduce mutable wrappers and not a &quot;to_string()&quot; method.<p>&gt; they reference memory that no code &quot;owns&quot;, as in-place mutation of the executable would be unsafe.<p>Is that similar to the dynamics of uniqueness types?