Unable to use type_traits with Intel Compiler 16 (boost 1.67+) about type_traits

[nehaljwani]

If this is a compiler bug, could the project please document the list of supported Intel compilers?

[shubhdev]

This seems like a bug in ICC, particularly the expected SFINAE in presence of sizeof(void)doesn't take place which in this case means boost::is_complete<void> breaks.
The below snippet reproduces what's going on. It fails to build on ICC 16, unless the fix is uncommented.

#include <boost/type_traits/is_complete.hpp>
#include <boost/type_traits/integral_constant.hpp>

#include <iostream>

/*
 From https://github.com/boostorg/type_traits/blob/develop/include/boost/type_traits/is_complete.hpp#L53
*/
template <unsigned N>
struct ok_tag { double d; char c[N]; };

template <class T>
ok_tag<sizeof(T)> check_is_complete(int);
template <class T>
char check_is_complete(...);
template <class T> struct is_complete
      : public boost::integral_constant<bool, ::boost::is_function<typename boost::remove_reference<T>::type>::value || (sizeof(boost::detail::check_is_complete<T>(0)) != sizeof(char))> {};
//  FIX
// template <> struct is_complete<void> : public boost::false_type{};
int main(int argc, char** argv)
{
    std::cout << is_complete<void>::value;
   return 0;
}

A fix (hack?) is to specialize the is_complete metafunction for void.