http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57139
Daniel Krügler <daniel.kruegler at googlemail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |daniel.kruegler at | |googlemail dot com --- Comment #3 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2013-05-06 11:35:05 UTC --- (In reply to comment #2) > Good point. Sadly, is_convertible is not equivalent to implicit convertibility > exactly due to that additional requirement (not sure if the latter is > intentional, or an StdLib defect). If at all this would be a core-language defect. > Does the paper you mention address std::tuple or std::is_convertible? The paper addresses std::tuple and std::pair. I don't see how the Library could change std::is_convertible, because it does exactly what the core language semantics require. The document number will be N3680 in the post-meeting mailing.