[boost] [type traits] possible bug in boost::is_convertible for types with private copy constructors

From: Daniel James (daniel_james_at_[hidden])
Date: 2008-06-24 07:07:19

>From the move semantics thread:

2008/6/24 David Abrahams <dave_at_[hidden]>:
> Daniel James wrote:
>> It mostly works. I've found two problems so far. Firstly,
>> is_convertible didn't work for the type,
>
> You found a bug in is_convertible?

I don't know if it's a bug. The example below fails to compile.

#include <boost/type_traits/is_convertible.hpp>

template <typename T> struct move_from {};
class Y
{
    Y(Y& rhs);
 public:
    Y(move_from<Y>) {}
};

bool const r = boost::is_convertible<move_from<Y>, Y>::value;