{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
    let infcx = BorrowckInferCtxt::new(tcx, def);
    let tcx = root_cx.tcx;
    let (input_body, promoted) = tcx.mir_promoted(def);