syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"term:"}]}
source_snippet:             term: projection_predicate.term,
context_before:             args: interner.mk_args(&projection_predicate.projection_term.args.as_slice()[1..]),
context_after:             use_existential_projection_new_instead: (),