{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"for"}]}
            for stmt in block.statements.iter_mut() {
        'blocks: for block in body.basic_blocks_mut() {
                // Simplify `assume` of a known value: either a NOP or unreachable.