chore: remove @[grind] from Array.size_eq_zero_iff`
#13114
The logs for this run have expired and are no longer available.
Loading
@[grind] from Array.size_eq_zero_iff`
#13114