https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99546
--- Comment #9 from Andrew Giese <gieseanw+gcc at gmail dot com> --- (In reply to Jonathan Wakely from comment #8) > The OP's example is supposed to be ill-formed though, it shouldn't compile > successfully. So I don't think it's fixed. That's my mistake, sorry. Yes the second static assertion should definitely fail.