def new_checked

bend-collections@1.0.0.0 · src/containers/lru.bend:79

import Base

79def new_checked(a, -V: Kind(a), +cap: U32, zero: Bool, reserved: Bool) -> Made<a, V>:
80  match zero reserved:
81    case True{} r:
82      Rejected{"capacity must be positive"}
83    case False{} True{}:
84      Rejected{"size must not be 0XFFFFFFFF"}
85    case False{} False{}:
86      Made{init(a, V, cap)}