{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"})"}]}
                })
                    pred.skip_binder().self_ty() == ty && self.infcx.tcx.is_fn_trait(pred.def_id())
            }) {