{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"&self.misc(span),"}]}
            &self.misc(span),
        self.instantiate_query_response_and_region_obligations(
            self.param_env,