{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"//"}]}
        // and we have the following:
        // OK, this is subtle. Suppose that we're trying to deduce whether `x` in `f` is read-only
        //