{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"})"}]}
                })
                    (c, span.with_lo(lo).with_hi(lo + BytePos(c.len_utf8() as u32)))
            })