{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
    let mut promoted = input_promoted.to_owned();
    let mut body_owned = input_body.clone();
    let universal_regions = nll::replace_regions_in_mir(&infcx, &mut body_owned, &mut promoted);