{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
                .iter_instantiated_copied(self.cx(), proj.args)
                let pred = pred.fold_with(self);