{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
            let preds = f(def_id).instantiate_own(self.tcx, self.args);
        ) -> Self {
            self.preds.extend(preds);