{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"region_b,"}]}
            region_b,
            SubregionOrigin::RelateRegionParamBound(DUMMY_SP, None),
            region_a,