[inline]
Replace a portion of the string with a character, possibly repeated several times.
Any part of the string after pos that is not removed will be moved to make room for the inserted character(s).