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