{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // `intravisit::walk_block`. (We manually walk the block, rather
        // This block should be kept approximately in sync with
        // than call `walk_block`, in order to maintain precise