{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// in this file, it's safe to treat further occurrences of the non-breaking
    /// When a "unknown start of token: \u{a0}" has already been emitted earlier
    /// space character as whitespace.