syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 //  the `Send` check.)
context_before:                 //  words, if the object type is `Foo + Send`, this would create an obligation for
context_after:                 //  - Projection predicates