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_at_[hidden]> 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_at_[hidden]>; CC:Andrew Tomazos <andrewtomazos_at_[hidden]>; 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_at_[hidden] https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals