syntax_data: {"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         //
context_before:         // we want to look into them or treat them as opaque projections.
context_after:         // Right now we do neither of that and simply always fail to unify them.