syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":".explicit_super_predicates_of(trait_predicate.def_id())"}]}
source_snippet:             .explicit_super_predicates_of(trait_predicate.def_id())
context_before:         for (supertrait, _) in tcx
context_after:             .iter_instantiated_copied(tcx, trait_predicate.trait_ref.args)