The proposal only focuses on syntax I presume.

You should contrast incond to invariants.
 

-----Ursprüngliche Nachricht-----
Von: Andrew Tomazos via Std-Proposals <std-proposals@lists.isocpp.org>
Gesendet: So 04.12.2022 09:09
Betreff: [std-proposals] D2737R0: Proposal of Condition-centric Contracts Syntax
Anlage: D2737R0_ Proposal of Condition-centric Contracts Syntax.pdf
An: sotrdg sotrdg via Std-Proposals <std-proposals@lists.isocpp.org>;
CC: Andrew Tomazos <andrewtomazos@gmail.com>;

Please find attached:

 

     D2737R0: Proposal of Condition-centric Contracts Syntax

     https://isocpp.org/files/papers/D2737R0.pdf

 

Feedback appreciated.

 

Regards,

Andrew.

 

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