syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // If a param env has no global bounds, global obligations do not
context_before:         {
context_after:             // depend on its particular value in order to work, so we can clear