http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57139
--- Comment #2 from vpozdyayev at gmail dot com 2013-05-02 05:22:57 UTC --- 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). Does the paper you mention address std::tuple or std::is_convertible?
