{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"alias:"}]}
        alias: AliasTy::Projection(projection_ty),
    if let GoalData::DomainGoal(DomainGoal::Holds(WhereClause::AliasEq(AliasEq {
        ..