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
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;
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
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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50641
Paolo Carlini paolo.carlini at oracle dot com changed:
What|Removed |Added
CC|
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