{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"_"}]}
        _ => "??".to_owned(),
        GoalData::DomainGoal(DomainGoal::Holds(WhereClause::AliasEq(_))) => "alias_eq".to_owned(),
    })