∀ {α : Type u_1} {β : α → Type u_2} [inst : Hashable α] (self : Array (Std.DHashMap.Internal.AssocList α β))
  (h : 0 < self.size) (k : α) (f : Std.DHashMap.Internal.AssocList α β → Std.DHashMap.Internal.AssocList α β),
  0 < (Std.DHashMap.Internal.updateBucket self h k f).size