To match the functionalities of Vector<UChar>, we need add more mutation operations for StringBuilder: - mutable [] operator - non-const characters() - remove - prepend
I’m not sure we should add all of these. In particular, we don’t want to add operations that can’t be implemented efficiently. We might instead want to change the Vector<UChar> call sites.