{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"SubregionOrigin::CompareImplItemObligation"}]}
            SubregionOrigin::CompareImplItemObligation { span, .. } => span,
            SubregionOrigin::ReferenceOutlivesReferent(_, a) => a,
            SubregionOrigin::AscribeUserTypeProvePredicate(span) => span,