{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":")"}]}
) -> (Borrowck<'a, 'tcx>, Results<BorrowckDomain>) {
    regioncx: &RegionInferenceContext<'tcx>,
    // We compute these three analyses individually, but them combine them into