Implicit cloning of types is evil. The first example with the mutable object is only surprising because the language decided to pass a copied struct by value instead of by reference.
But isn't that pretty much the distinction between value and reference types?
thats where my comment stems from: reference or value expextations are core to a language's behavior, if those cant be relied upon....
thats a language efficacy/quality problem, not a type problem imho