syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"RecordImplArgs"}]}
source_snippet:     RecordImplArgs { impl_args: CanonicalState<I, I::GenericArgs> },
context_before:     /// A trait goal was satisfied by an impl candidate.
context_after:     /// A call to `EvalCtxt::evaluate_added_goals_make_canonical_response` with