#include <gtest/gtest.h>
#include "State_Test_Types.hpp"
static_assert(State_Value<State_Plain_Value>);
static_assert(std::derived_from<State_Plain_Strategy, State_Strategy_Base>);
static_assert(Double_State_Strategy_Type<State_Plain_Strategy>);
static_assert(!Has_State_Validator<State_Plain_Strategy, State_Plain_Value>);
static_assert(Has_State_Validator<State_Checked_Strategy, State_Checked_Value>);
TEST(state_concepts_test, concepts_compile) {
    SUCCEED();
}
