{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    TyKind::Array(ty.clone(), anon_const)
                let ty = P(rustc_ast::Ty { kind, id: ty.id, span: ty.span, tokens: None });