syntax_data: {"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"ty::ExistentialPredicate::Projection(p)"}]}
source_snippet:                                 ty::ExistentialPredicate::Projection(p) => (p.args, Some(p.term)),
context_before:                                 ty::ExistentialPredicate::Trait(tr) => (tr.args, None),
context_after:                                 ty::ExistentialPredicate::AutoTrait(_) => {