syntax_data: {"ast_node_type":"import","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // can't enter/exit the "binder scope" twice though, because then we
context_before:         // actually desugar these into two separate `ExistentialPredicate`s. We
context_after:         // would mangle the binders twice. (Also, side note, we merging these