∀ {α : Type u} {β : α → Type v} [inst : BEq α] {l : Std.DHashMap.Internal.AssocList α β} {a : α}
  [inst_1 : Inhabited ((a : α) × β a)],
  Std.DHashMap.Internal.AssocList.getEntry! a l = Std.Internal.List.getEntry! a l.toList