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