{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"regioncx.find_loop_terminator_location(borrow.region,"}]}
                regioncx.find_loop_terminator_location(borrow.region, body)
            if let Some(loop_terminator_location) =
            {