syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"for"}]}
source_snippet:             for &(predicate, _) in tcx.explicit_item_bounds(def).skip_binder() {
context_before:             let mut has_emitted = false;
context_after:                 // We only look at the `DefId`, so it is safe to skip the binder here.