{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
        // and once below to get the underlying `&[mut] Allocation`.
        // FIXME: we look up both allocations twice here, once before for the `check_ptr_access`