On Tuesday, 19 May 2026 16:09:29 Pacific Daylight Time Thiago Macieira via Std-
Proposals wrote:
> He probably meant
> assert(1 == 2 && "Func must only be used in an unevaluated context");
>
> as in https://gcc.godbolt.org/z/xWsfPr7fY

Actually, he probably did mean static_assert, but that only works for template
functions (which his example wasn't) and before P2593 only if the value is
argument-dependent.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel Data Center - Platform & Sys. Eng.