syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"cause:"}]}
source_snippet:             cause: obligation.cause.clone(),
context_before:         self.poly_select(&Obligation {
context_after:             param_env: obligation.param_env,