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.