{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // The unwraps below may look dangerous, but we've already asserted
            // that they won't fail with the loop above.