{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"SubregionOrigin::RelateParamBound("}]}
            SubregionOrigin::RelateParamBound(
        let origin = SubregionOrigin::from_obligation_cause(cause, || {
                cause.span,