{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"SubregionOrigin::RelateRegionParamBound(DUMMY_SP,"}]}
            SubregionOrigin::RelateRegionParamBound(DUMMY_SP, None),
        infcx.sub_regions(
            region_b,