syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// obligation is satisfied for now (still all other conditions
context_before:     /// matches this obligation, then we can assume that the
context_after:     /// must be met of course). One obvious case this comes up is