[Bug libstdc++/116070] [13/14/15 Regression] broken headers for compile with flags -std=gnu++14 -fconcepts

[redi at gcc dot gnu.org]

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

--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Alexey from comment #0)
> In file included from
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/bits/move.h:37,
>                  from
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/bits/new_allocator.h:36,
>                  from
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/x86_64-linux-gnu/bits/
> c++allocator.h:33,
>                  from
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/bits/allocator.h:46,
>                  from
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/memory:65,
>                  from <source>:1:
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:2575:12:
> error: template parameters not deducible in partial specialization:
>  2575 |     struct __result_of_memobj<_Res _Class::*, _Arg>
>       |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:2575:12:
> note:         '_Class'
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:2590:12:
> error: template parameters not deducible in partial specialization:
>  2590 |     struct __result_of_memfun<_Res _Class::*, _Arg, _Args...>
>       |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> /opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:2590:12:
> note:         '_Class'

I suspect this one is a compiler bug too, since there are no concepts involved
in that code.