syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // involve any other subtle cases, and so the WF relation
context_before:             // Most types do not introduce any region binders, nor
context_after:             // simply constraints any regions referenced directly by