syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// in case there is exponential blowup.
context_before:     /// the remaining depth of all nested goals to prevent hangs
context_after:     fn allowed_depth_for_nested<D: Delegate>(