syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// goals still on the stack.
context_before: /// A provisional result of an already computed goals which depends on other
context_after: #[derive_where(Debug; X: Cx)]