https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92236
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- (In reply to Andrew Sutton from comment #2) > This is tricky because the condition reduces to true/false before the static > assertion evaluates it. We could introduce a new binary expression that > stores the original expression and it's computed value, and use that to hook > into diagnostics from the static assert. Can we avoid reducing concept checks in finish_id_expression_1? constexpr evaluation already handles them, I'd think we would just need to also handle them in fold or genericize or gimplify.
