[Bug libstdc++/108619] Compilation error if the construct method of the allocator isn't implemented and the detructor of value_type is private

[gccbugzilla at thepirate42 dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108619

--- Comment #7 from gccbugzilla at thepirate42 dot org ---
(In reply to Andrew Pinski from comment #6)
> With clang and libc++ we get:
> 
> /opt/compiler-explorer/clang-trunk-20230131/bin/../include/c++/v1/__memory/
> uninitialized_algorithms.h:597:3: error: static assertion failed due to
> requirement '__is_cpp17_move_insertable<b::alloc<a>, void>::value': The
> specified type does not meet the requirements of Cpp17MoveInsertable
>   static_assert(__is_cpp17_move_insertable<_Alloc>::value,
>   ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> 
> Which I think is the best error message really. libstdc++v3 should add a
> similar static assert I think.

I don't understand, why should there be an error at all?