syntax_data: {"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"obligation.predicate.def_id(),"}]}
source_snippet:             obligation.predicate.def_id(),
context_before:             infcx.tcx,
context_after:             c.trait_ref.args,