tree f5e7f05fe30a6a7d6fd63ec9c171d6826a88dd8e
parent ca3e3ac3c5916b3c91f739f494177afa8d4a1956
author Konstantin Varlamov <varconsteq@gmail.com> 1753773555 -0700
committer Copybara-Service <copybara-worker@google.com> 1753773616 -0700

[libc++][hardening] Introduce assertion semantics. (#149459)

Assertion semantics closely mimic C++26 Contracts evaluation semantics.
This brings our implementation closer in line with C++26 Library Hardening
(one particular benefit is that using the `observe` semantic makes adopting
hardening easier for projects).

GitOrigin-RevId: 3eee9fc2c4d1973904b1a26fa96a8c7473ef6a5e