{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"ty::Array(sub_ty,"}]}
            ty::Array(sub_ty, len) => {
            },
                // We treat arrays of a constant but unknown length like slices.