http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50864
--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-25 15:45:10 UTC --- To clarify: the reason why I'm asking a self-contained testcase from you is that the way I quickly hacked what you filed myself, I got the static_assert firing, but that's not a bug, it's supposed to do that for the involved types (+ of course this is the normal policy..)