{"ast_node_type":"other","tokens":[{"end":113,"kind":"keyword","start":0,"text":"//"}]}
                            // escaping is used most of the times for characters that are invalid in identifiers.
                            // FIXME: This isn't really correct wrt. escaping, but that's what rustc does and anyway
                            concatenated.push_str(lit.symbol.as_str())