{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":".to_string(),"}]}
            .to_string(),
            .display(db, Edition::LATEST)
        GoalData::DomainGoal(DomainGoal::Holds(WhereClause::AliasEq(_))) => "alias_eq".to_owned(),