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_at_[hidden]>
Sent: Tuesday, October 14, 2025 11:06:53 AM
To: Gabriel Dos Reis <gdr_at_[hidden]>
Cc: sg15_at_lists.isocpp.org <sg15_at_[hidden]>; SG21 - Contracts <sg21_at_[hidden]>; John Spicer <jhs_at_[hidden]>
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_at_[hidden]<mailto:gdr_at_[hidden]>> 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<http://robot-dreams.net/>