syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// This is necessary as we treat nested goals different depending on
context_before: ///
context_after: /// their source. This is used to decide whether a cycle is coinductive.