{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// (allowed by default) lint, and are treated as regular identifier
    /// prefixes are reported as errors; in earlier editions, they result in a
    /// tokens.