http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49229
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-30 11:33:31 UTC --- Thanks for your further investigation of these issues, Daniel. I'm not sure to understand what you mean by "degenerate specialization", though. In my experience, a binary trait like is_convertible for example also doesn't work (actually, in the PR I picked is_same only for its simplicity)