{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":")"}]}
    ) {
        b: ty::Region<'tcx>,
        self.inner.borrow_mut().unwrap_region_constraints().make_subregion(origin, a, b);