syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// results. See the comment of `StackEntry::nested_goals` for
context_before:     /// participant is on the stack. This is necessary to prevent unstable
context_after:     /// more details.