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