{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                Ty::try_new_array(inner, len)
            _ => Err(Error(format!("Cannot subslice non-array type: `{ty_kind:?}`"))),