Append to string without copy?

...that would be visible in the implementation of +=... This though would mean that the interpreter would know the number of references to the string at the time of concatenation and make the copy if there are more than one references... It all depends how assignments and garbage collect work...