Namespaces
Variants
Actions

C++ keyword: contract_assert (since C++26)