https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118698
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ppalka at gcc dot gnu.org
--- Comment #8 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Started with r14-9938, though I bet before this commit it only accidentally
worked.
A workaround is to use an intermediate variable template:
template <typename T, template <typename...> typename U>
inline constexpr bool is_specialization_of_v =
std::invocable<decltype([]<typename... Args>( U<Args...> const& ) { }),T>;
template <typename T, template <typename...> typename U>
concept is_specialization_of = is_specialization_of_v<T, U>;
