{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// Push `stream` onto the end of the stream, possibly gluing the first
    /// token tree to the last token. (No other token trees will be glued.)