syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"#[derive_where(Debug;"}]}
source_snippet: #[derive_where(Debug; X: Cx)]
context_before: /// goals still on the stack.
context_after: struct ProvisionalCacheEntry<X: Cx> {