Slicing assignment.
Assigned character, range or string.
Range over the string.
Precondition: length == value.length.
See Implementation
Slicing assignment.