syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"candidate.skip_binder().trait_ref.args,"}]}
source_snippet:         candidate.skip_binder().trait_ref.args,
context_before:         obligation.predicate.skip_binder().trait_ref.args,
context_after:     ) {