{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"self.annotations.append(&mut"}]}
        self.annotations.append(&mut other.annotations);
        self.mappings.merge(other.mappings);
    }