{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"///"}]}
    /// space character as whitespace.
    /// in this file, it's safe to treat further occurrences of the non-breaking
    nbsp_is_whitespace: bool,