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