syntax_data: {"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:             if let ty::ClauseKind::Trait(data) = predicate.kind().skip_binder()
context_before:         for (predicate, _) in cx.explicit_super_predicates_of(trait_def_id).iter_identity() {
context_after:                 && set.insert(data.def_id())