{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // We've originally had a more permissive check here which resulted
            //
            // in unsoundness, see #84857.