timuraudio
commented
1 week ago Considered and rejected by SG21 at 2024-05-09 telecon.
Poll 1: For the Contracts MVP, rename the evaluation semantics ignore, observe, enforce, and quick_enforce to ignored, observed, enforced, and erroneous, respectively, as proposed by P3238R0. SF F N A SA 1 0 4 11 1 Result: Consensus against
P3238R0 An alternate proposal for naming contract semantics (Ville Voutilainen)