There are two assertions there that I cannot understand. Rene, could you explain further the impossibility?
-- Gaby
From: SG15 <sg15-bounces@lists.isocpp.org> on behalf of René Ferdinand Rivera Morell via SG15 <sg15@lists.isocpp.org> Sent: Tuesday, October 14, 2025 10:18:28 AM To: sg15@lists.isocpp.org <sg15@lists.isocpp.org> Cc: René Ferdinand Rivera Morell <grafikrobot@gmail.com>; SG21 - Contracts <sg21@lists.isocpp.org>; John Spicer <jhs@edg.com> Subject: Re: [isocpp-sg15] [isocpp-sg21] P3835 -- Different contract checking for different libraries
The reason for this is that if you currently use a macro like MY_LIB_ASSERT(x), then you have control over what it does,
even when your header is used by someone else.
When using a macro this "even when your header is used by someone else" is not possible. I.e. you don't actually have the control you
think you have.
--
-- René Ferdinand Rivera Morell
-- Don't Assume Anything -- No Supongas Nada
-- Robot Dreams - http://robot-dreams.net