I am not quite sure I see how the impossibility follows from that statement, though. Are there some other assumptions at play?

-- Gaby

From: René Ferdinand Rivera Morell <grafikrobot@gmail.com>
Sent: Tuesday, October 14, 2025 11:06:53 AM
To: Gabriel Dos Reis <gdr@microsoft.com>
Cc: sg15@lists.isocpp.org <sg15@lists.isocpp.org>; SG21 - Contracts <sg21@lists.isocpp.org>; John Spicer <jhs@edg.com>
Subject: Re: [isocpp-sg15] [isocpp-sg21] P3835 -- Different contract checking for different libraries

On Tue, Oct 14, 2025 at 9:50 AM Gabriel Dos Reis <gdr@microsoft.com> wrote:

There are two assertions there that I cannot understand. Rene, could you explain further the impossibility?

It's simple.. If you use a macro in your headers users can override any control you may think you have over that macro.

-- René Ferdinand Rivera Morell
-- Don't Assume Anything -- No Supongas Nada
-- Robot Dreams - http://robot-dreams.net