{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"regioncx:"}]}
    regioncx: &RegionInferenceContext<'tcx>,
    borrow_set: &'a BorrowSet<'tcx>,
) -> (Borrowck<'a, 'tcx>, Results<BorrowckDomain>) {