syntax_data: {"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:     let ParamEnvAnd { param_env, value: predicate } = goal;
context_before:     debug!("evaluate_obligation: goal={:#?}", goal);