def drain_len_owned

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

import Base

668def drain_len_owned(~T: Type, len: Nat, arr: Array<Maybe<&1, T>>) -> List<&1, T>:
669  match len:
670    case 0n:
671      Nil{}
672    case 1n+ +m:
673      drain_go_owned(~T, m, Nil{}, Array.swap(Maybe<&1, T>, arr, U32.from_nat(m), None{}))