{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"SubregionOrigin::AscribeUserTypeProvePredicate(span)"}]}
            SubregionOrigin::AscribeUserTypeProvePredicate(span) => span,
            SubregionOrigin::CompareImplItemObligation { span, .. } => span,
            SubregionOrigin::CheckAssociatedTypeBounds { ref parent, .. } => parent.span(),