{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
            // FIXME: We don't need these, since these are the type's own WF obligations.
            // Add GAT where clauses from the trait's definition.
            ecx.add_goals(