{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    TyKind::Array(inner.clone(), next_c).intern(Interner)
                TyKind::Slice(_) => base.clone(),