[Bug c++/46497] [C++0x] Defaulted vs declared move constructor vs is_convertible

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46497

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2010-11-17 16:44:21 UTC ---
Ok, I'm still digesting all of this (and in the meanwhile we also realized that
likely we have problems in the specs of std::is_convertible itself, in the
library). Something still puzzling me is that, if I use the user-defined move
constructor, I *cannot* trigger errors, *ever*. Is it possible that we have an
accepts-invalid lurking somewhere?