{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"identifier_type:"}]}
                            identifier_type: id_ty_descr,
                            codepoints: codepoints.into_iter().map(|(c, _)| c).collect(),
                        },