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