syntax_data: {"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // However, if we disqualify *all* goals from being cached, perf suffers.
context_before:             // on opaques in the defining scope, and it's easier to do so with TAIT.
context_after:             // This is likely fixed by better caching in general in the new solver.