Date: Tue, 14 Oct 2025 21:28:16 +0300
On Tue, 14 Oct 2025 at 21:24, Ryan McDougall <mcdougall.ryan_at_[hidden]> wrote:
> I think the next line is suggestive: "standard library hardening must be allowed to be turned on regardless of what the evaluation semantics of contracts in the rest of the program and even in the same TU are." -- this is patently not true:
It's patently true. There are existing deployments where it's desired
to the point of being a requirement that all use of the standard
library is hardened, regardless of whether
your program is.
> I think the next line is suggestive: "standard library hardening must be allowed to be turned on regardless of what the evaluation semantics of contracts in the rest of the program and even in the same TU are." -- this is patently not true:
It's patently true. There are existing deployments where it's desired
to the point of being a requirement that all use of the standard
library is hardened, regardless of whether
your program is.
Received on 2025-10-14 18:28:29