{"ast_node_type":"variable","tokens":[{"end":95,"kind":"keyword","start":0,"text":"if"}]}
                            if let ty::ClauseKind::Trait(pred) = predicate.kind().skip_binder()
                        for (predicate, span) in instantiated {
                                && pred.self_ty().peel_refs() == callee_ty