{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"SubregionOrigin::RelateRegionParamBound(a,"}]}
            SubregionOrigin::RelateRegionParamBound(a, _) => a,
            SubregionOrigin::RelateParamBound(a, ..) => a,
            SubregionOrigin::Reborrow(a) => a,