{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// replacing "abc" with "abcde" is not destructive, but replacing it
    /// in a way that isn't a superset of the original string. For example,
    /// it with "abx" is, since the "c" character is lost.