syntax_data: {"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// for the `CanonicalVarValues` of the canonicalized goal.
context_before: /// When evaluating a goal we also store the original values
context_after: /// We use this to map any [CanonicalState] from the local `InferCtxt`