[C++11] is_polymorphic doesn't work with final-ed class in MSVC.

[Kohei Takahashi <flast@…>]

Following code don't compile in MSVC 12 and 14 RC: I didn't test with other versions.

#include <type_traits>
#include <boost/type_traits/is_polymorphic.hpp>

struct S final {};

int main()
{
        static_assert(!std::is_polymorphic<S>::value, "S should not be a polymorphic type"); // works fine
        static_assert(boost::is_polymorphic<final>::value, "hmm..."); // hard error
}

The error message says:

'boost::detail::is_polymorphic_impl1<T>::d1' cannot derive from 'S' because it is declared as 'final'.

[John Maddock]

Confirmed.

[John Maddock]

Fixed in ​https://github.com/boostorg/type_traits/commit/04a8a9ecc2b02b7334a4b3f0459a5f62b855cc68

Note this patch will almost certainly not make the next release.