C++ Logo


Advanced search

Re: [wg14/wg21 liaison] [isocpp-sg21] Telecon to review P2388R1 Minimum Contract Support: either Ignore or Check_and_abort

From: Ville Voutilainen <ville.voutilainen_at_[hidden]>
Date: Fri, 24 Sep 2021 20:44:08 +0300
On Fri, 24 Sept 2021 at 19:49, Gabriel Dos Reis <gdr_at_[hidden]> wrote:
> That scenario fails to satisfy the "well-formed program" predicate in my original message:
> >> Finally, for a well-formed program with well-defined behavior fed with the correct data, ignoring contracts (with diagnostics, if one wishes) would be a correct (if poor quality) implementation.
> 😊

"Ignore" starts to seem like a Really Bad Name for this, if you ask me.

Received on 2021-09-24 12:44:21