syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // can result in an error in one of two ways:
context_before:     // if the self type in the obligation is not fully inferred. Selection
context_after:     //