{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.lower_ty(ty,"}]}
                self.lower_ty(ty, itctx),
            TyKind::Array(ty, length) => hir::TyKind::Array(
                self.lower_array_length_to_const_arg(length),