syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":".at(&obligation.cause,"}]}
source_snippet:                                     .at(&obligation.cause, obligation.param_env)
context_before:                                     .infcx
context_after:                                     // Can define opaque types as this is only reachable with