syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"debug!(\"evaluate_obligation:"}]}
source_snippet:     debug!("evaluate_obligation: goal={:#?}", goal);
context_before:         tcx.infer_ctxt().build_with_canonical(DUMMY_SP, &canonical_goal);
context_after:     let ParamEnvAnd { param_env, value: predicate } = goal;