{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
    /// (b) is followed by a punctuation token.
    /// token that (a) should be pretty-printed without a space after it, and
    ///