On Thu, 19 Feb 2026 at 17:58, Jan Schultke <janschultke_at_[hidden]> wrote:

>> And they certainly don't want the act of turning off runtime checks to
>> also turn off all compile-time checks.
>
>
> But people doing that is the status quo.

..of contracts. This facility isn't contracts, it provides a
guarantee, which is something that contracts are woefully incapable of
providing.
It would be rather better if the contracts aficionados stayed far away
from and out of the way of users who need actual guarantees,
instead of wishy-washy guesses and heuristics, which is what contracts
are riddled with. By design.