{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
        // This is quite arbitrary but fixing it causes some ambiguity, see #125196.
        // This only avoids normalization if the GAT arguments are fully unconstrained.
        match goal.predicate.alias.kind(cx) {