syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// A call to `EvalCtxt::evaluate_added_goals_make_canonical_response` with
context_before:     RecordImplArgs { impl_args: CanonicalState<I, I::GenericArgs> },
context_after:     /// `Certainty` was made. This is the certainty passed in, so it's not unified