Proposed resolution:

This wording is relative to N5008.

1. Modify [hive.erasure] as indicated:

   template<class T, class Allocator, class U = T>
     typename hive<T, Allocator>::size_type
       erase(hive<T, Allocator>& c, const U& value);
   

   -1- Effects: Equivalent to:

   return erase_if(c, [&](const auto& elem) -> bool { return elem == value; });
   

This is a follow up to LWG 4135, which incidentally adds a default template parameter for U to be consistent with other erase functions, which is editorial since the declaration already has it.