syntax_data: {"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// The root inference context while proving a goal.
context_before: pub enum ProbeKind<I: Interner> {
context_after:     Root { result: QueryResult<I> },