GCC, Clang, ICC и MSVC все отклоняют этот код, но я не нашел нарушения в последнем рабочем проекте стандарта С++.
Является ли правило уже стандартным, или оно находится в отчете о дефекте?
#include <type_traits>
template< typename t >
struct s {
std::conditional_t< std::is_integral< t >::value, t, void() > mem;
};
s< int > a;
s< void * > b;