http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55722
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-17 18:30:55 UTC --- Either compilation should stop completely on the first failed static_assert so that the second call is not diagnosed, or the second call should trigger the same static_assert in the same way.