Re: [boost] Help test MSVC 14 CTP compiler

Subject: Re: [boost] Help test MSVC 14 CTP compiler
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2014-12-02 08:29:26

2014-12-02 14:08 GMT+01:00 John Maddock <boost.regex_at_[hidden]>:

> #include <boost/static_assert.hpp>
>> #include <boost/type_traits/is_nothrow_move_assignable.hpp>
>>
>> struct NothrowCtor {
>>    NothrowCtor(NothrowCtor&&) BOOST_NOEXCEPT_IF(true) {};
>>    void operator=(NothrowCtor&&) BOOST_NOEXCEPT_IF(false) {};
>> };
>>
>> BOOST_STATIC_ASSERT(!::boost::is_nothrow_move_assignable<
>> NothrowCtor>::value);
>>
>> int main() {}
>>
>
> Update: in the absence of SFINAE expression support, a number of
> type_traits are terminally broken, and this is one I'm afraid.

If this is unimplementable, then that's fine. What I find confusing is that
regression tests for is_nothrow_move_assignable pass on this compiler:
http://www.boost.org/development/tests/develop/developer/type_traits.html