{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
        let typing_env = body.typing_env(tcx);
        trace!("Running SimplifyConstCondition on {:?}", body.source);
        'blocks: for block in body.basic_blocks_mut() {