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