Skip dropping array elements that don't need drop#802

Merged

bluss merged 1 commit intomasterfrom owned-repr

Apr 18, 2020

+12

Commits on Apr 18, 2020

FIX: Skip dropping array elements that don't need drop
bluss
committed