syntax_data: {"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"Unknown,"}]}
source_snippet:     Unknown,
context_before:     /// result in this case to prevent people from relying on this.
context_after:     /// A path with at least one coinductive step. Such cycles hold.