syntax_data: {"ast_node_type":"struct","tokens":[{"end":37,"kind":"keyword","start":0,"text":"struct"}]}
source_snippet: struct ProvisionalCacheEntry<X: Cx> {
context_before: #[derive_where(Debug; X: Cx)]
context_after:     /// Whether evaluating the goal encountered overflow. This is used to