{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"index"}]}
                        index += 1;
                                .intern(db);
                        let name = as_name_opt(variant.name());