{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":".map(|idx|"}]}
            .map(|idx| VariantDef { idx: VariantIdx::to_val(idx), adt_def: *self })
        (0..self.num_variants())
    }