syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":".eq_trace("}]}
source_snippet:                                                 .eq_trace(
context_before:                                                 .at(&obligation.cause, obligation.param_env)
context_after:                                                     DefineOpaqueTypes::Yes,