There are two cases which are currently not covered by _Vector_alg_in_find_is_safe and _Could_compare_equal_to_value_type/_Within_limits:

• is_pointer_v<_Elem> && is_null_pointer_v<_ValueType>
• is_pointer_v<_Elem> && is_pointer_v<_ValueType> && is_object_v<remove_pointer_t<_Elem>> && is_void_v<remove_pointer_t<_ValueType>>