John S wrote:

> That still fails to do what i want, which is to have the library provide know

> that the semantic they choose will be the one used when the program is linked.

Agreed that this is not directly supported in C++26.

John, just making sure I understand… I think (please correct!):

• we agree this will be supported post-C++26 with the labels feature, such as a “contract_assert<enforce>(cond)” or similar syntax to require a specific semantic, and

• you think C++26 should not be shipped without a way to express that as part of the first version

… did I get that right?

I just want to make sure I understand your view of this specific concern correctly (and of course I know you have other concerns too, just trying to focus on this one here).

Thanks,

Herb