{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // Note 1. There is a weird scenario that you might imagine
        // being problematic here, but which actually cannot happen.