{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"//"}]}
        // `<U as Trait>::T = X`.
        // Given something like `U: Trait<T = X>`, we want to produce a predicate like
        // This is somewhat subtle in the event that `T` is defined in a supertrait of `Trait`,