{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"ty::Array(tys,"}]}
            ty::Array(tys, ..) | ty::Slice(tys) if self.ecx.layout_of(*tys)?.is_zst() => {
            // ZST type, so either validation fails for all elements or none.
                // Validate just the first element (if any).