-> std::bool_constant<is_specialization_of_v<U, T>> { return {}; }template <typename U, template <auto...> typename T> constexpr auto is_specialization_of() -> decltype(detail::detect_spec<T>(std::declval<type_identity<U>>())) { ...