https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92236
--- Comment #6 from Andrew Sutton <andrew.n.sutton at gmail dot com> --- I'm going to send a patch for this, hopefully this morning, that ties concept diagnostics into static asserts. It wasn't as bad as I thought it was going to be. I didn't implement this: static_assert (!Int<int>); because I'm not sure what would be good to print. It may be possible to completely invert all the diagnostics (e.g., failed because f(x) is valid), but that would likely take some heroic effort.