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