syntax_data: {"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:     if !drcx.args_may_unify(
context_before:     let drcx = DeepRejectCtxt::relate_rigid_rigid(infcx.tcx);
context_after:         obligation.predicate.skip_binder().trait_ref.args,