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