syntax_data: {"ast_node_type":"import","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// We use this to map any [CanonicalState] from the local `InferCtxt`
context_before: /// for the `CanonicalVarValues` of the canonicalized goal.
context_after: /// of the solver query to the `InferCtxt` of the caller.