syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"ProjectionElem::Downcast(a,"}]}
source_snippet:             ProjectionElem::Downcast(a, u) => ProjectionElem::Downcast(a, u),
context_before:             }
context_after:             ProjectionElem::Subtype(_ty) => ProjectionElem::Subtype(()),