On Fri, 29 Aug 2025, 22:43 Levo D via Std-Proposals, <
std-proposals_at_[hidden]> wrote:

> The goal of my proposal is to have all bounds be checked at compile time.
> If I were including containers, the check would be for all containers (and
> arrays).
> I haven't seen "hardened preconditions," but glancing at P3471R0, it looks
> like it's a runtime check, which isn't my goal.
>
> There isn't anything I could add to that. It'd be helpful if that proposal
> went through, since


It is already part of C++26 and already available in shipping compilers.