syntax_data: {"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// of the solver query to the `InferCtxt` of the caller.
context_before: /// We use this to map any [CanonicalState] from the local `InferCtxt`
context_after: #[derive_where(PartialEq, Eq, Hash; I: Interner)]