[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-07 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 --- Comment #3 from Daniel Krügler daniel.kruegler at googlemail dot com 2011-10-07 06:46:56 UTC --- (In reply to comment #2) This looks like not-a-bug to me. This refers to the traits implementation. I believe that the core language should

[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-07 Thread luto at mit dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 --- Comment #4 from Andy Lutomirski luto at mit dot edu 2011-10-07 06:57:01 UTC --- The problem I encountered that inspired this was: #include type_traits #include map struct From { }; struct To { To(const From ) {} To(const To ) = delete;

[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-07 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 --- Comment #5 from Daniel Krügler daniel.kruegler at googlemail dot com 2011-10-07 07:13:50 UTC --- (In reply to comment #4) N3242 says that From needs to be convertible to To, but I'm not at all convinced that convertible means the same

[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-07 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 Paolo Carlini paolo.carlini at oracle dot com changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-06 Thread paolo.carlini at oracle dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 Paolo Carlini paolo.carlini at oracle dot com changed: What|Removed |Added CC|

[Bug libstdc++/50641] [c++0x] is_convertible and is_constructible incorrectly require copy constructibility

2011-10-06 Thread daniel.kruegler at googlemail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641 --- Comment #2 from Daniel Krügler daniel.kruegler at googlemail dot com 2011-10-07 05:36:02 UTC --- 1) The outcome of is_constructible is expected, because you cannot construct From from To, the actually wanted test would have been