{"ast_node_type":"other","tokens":[{"end":125,"kind":"keyword","start":0,"text":"//"}]}
                // rustc spacing is not like ours. Ours is like proc macros', it dictates how puncts will actually be joined.
            match fragment {
                // rustc uses them mostly for pretty printing. So we have to deviate a bit from what rustc does here.