Requires specification in a standard (presumably CPP26/29/32, but a change in cadence or fork/alternative that is a formal standard would be acceptable) and usable by programmers in at least one open source implementation (eg gcc or clang, but something new/newly open source would qualify).

Question inspired by https://safecpp.org/ but it does not need to be this proposal or a derivative that is accepted and implemented to resolve to true.

Added: If 2027 is judged yes, so will 2030, 2033, and 2037. If 2030, also 2033 and 2037. If 2033, also 2037. I will trade.