Drop array patterns using subslices#109008

Merged

bors merged 1 commit intorust-lang:masterfrom

clubby789:drop-elaborate-array

Apr 2, 2023

Commits on Mar 17, 2023

Drop subslices of arrays
clubby789
committed