{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // which we have a MovePath is `a.b`, then that means that the
        // E.g., when looking at (*a.b.c).d, if the closest prefix for
        // initialization state of `a.b` is all we need to inspect to