{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// characters in identifiers between different [scripts].
    /// [scripts]: https://en.wikipedia.org/wiki/Script_(Unicode)