{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"make_query_region_constraints("}]}
            make_query_region_constraints(
        let region_constraints = self.with_region_constraints(|region_constraints| {
                region_obligations,