def into_list_owned

bend-collections@1.0.0.0 · src/containers/dynamic_array.bend:675

import Base

675# Consumes the container; values move into the returned list, in order.
676def into_list_owned(~T: Type, da: DynArray<&1, T>) -> List<&1, T>:
677  DA{limit, depth, cap, len, arr} = da
678  drain_len_owned(~T, len, arr)