{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"PlaceElem::Downcast(Some(adt_def.variant(variant_index).name),"}]}
            PlaceElem::Downcast(Some(adt_def.variant(variant_index).name), variant_index),
            place,
        )