{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"ObligationCauseCode::AscribeUserTypeProvePredicate(predicate_span)"}]}
            ObligationCauseCode::AscribeUserTypeProvePredicate(predicate_span) => {
            ObligationCauseCode::MatchImpl(cause, _) => cause.to_constraint_category(),
                ConstraintCategory::Predicate(*predicate_span)