syntax_data: {"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> ExistentialProjection<I> {
context_before:         term: I::Term,
context_after:         interner.debug_assert_existential_args_compatible(def_id, args);