∀ {α : Type u} {β : α → Type v} [inst : Hashable α] (self self_1 : Array (Std.DHashMap.Internal.AssocList α β))
  (e_self : self = self_1) (h : 0 < self.size) (k k_1 : α),
  k = k_1 → Std.DHashMap.Internal.bucket self h k = Std.DHashMap.Internal.bucket self_1 ⋯ k_1