{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    TyKind::Array(elem_ty.clone(), usize_const(self.db, len, self.resolver.krate()))
                _ => TyKind::Slice(elem_ty.clone()),