If both are called static_* then it will be odd to be called at different times.

Assuming we don't want to change how static_assert works, I think this is better solved by an overload to pick the time of evaluation

static_assert(std::instantiation/lazy/whatever, ...);

It also be interesting if consteval can be used

consteval { assert(...); }

or

consteval(when) { assert(...); }

In any case, this feature seems affected by code injection, so I don't see a chance for 23

On Fri, Jun 18, 2021 at 4:59 AM David Braun via Std-Proposals <std-proposals@lists.isocpp.org> wrote:

From: David Braun
Sent: Thursday, June 17, 2021 12:29 AM
To: lwgchair@gmail.com
Subject: C++ 23 Language Proposal for new type of static assertion

 

Here is my proposal for C++ 23.

Thank You!

 

David Aaron Braun

519-680-9822

226-236-4898

da.braun1@hotmail.com

 

--
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals