{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
        // We may end up visiting `first_block` again. This is not an issue: we know at this point
        // that the loan is not killed in the `first_lo..=first_hi` range, so checking the