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