{"ast_node_type":"variable","tokens":[{"end":26,"kind":"keyword","start":0,"text":"let"}]}
    let tcx = root_cx.tcx;
) -> PropagatedBorrowCheckResults<'tcx> {
    let infcx = BorrowckInferCtxt::new(tcx, def);