{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
    let cor_pin_ty = Ty::new_adt(tcx, pin_adt_ref, tcx.mk_args(&[cor_ref.into()]));
    // cor_pin_ty = `Pin<&mut cor_ref>`
    let cor_pin_place = Place::from(locals.push(LocalDecl::new(cor_pin_ty, span)));