{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":")"}]}
    ) -> PoloniusDiagnosticsContext {
        borrow_set: &BorrowSet<'tcx>,
        let PoloniusLivenessContext { live_region_variances, boring_nll_locals } =