{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"regioncx:"}]}
        regioncx: &RegionInferenceContext<'tcx>,
        body: &'a Body<'tcx>,
        borrow_set: &'a BorrowSet<'tcx>,