{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"(ProjectionElem::Downcast(_,"}]}
        (ProjectionElem::Downcast(_, v1), ProjectionElem::Downcast(_, v2)) => {
        }
            // different variants are treated as having disjoint fields,