The execution::inline_exception_handling_t::terminate_t property can be required.
execution::inline_exception_handling_t::terminate_t
static constexpr bool is_requirable = true;