syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// However, if we encountered overflow, we significantly reduce
context_before:     /// This is generally simply one less than the current depth.
context_after:     /// the remaining depth of all nested goals to prevent hangs