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