{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"region_bound_pairs,"}]}
            region_bound_pairs,
            free_region_map: FreeRegionMap { relation: region_relation.freeze() },
            higher_ranked_assumptions,