// A struct without "static const bool value".

struct no_value {};

TEST(ShortCircuitOr) {

// Validation of short-circuit compilation using type without "value"

static_assert(or_sc<true_type, no_value>::value, "Or short-circuit should obviate second value requirement when first is true");

// Idempotent

static_assert(!or_sc<>::value, "Or zero arguments is idempotent, which is false");

// Identity vector

static_assert(or_sc<true_type>::value, "Or of one argument is identity");

static_assert(!or_sc<false_type>::value, "Or of one argument is identity");

// Logic matrix

static_assert(or_sc<true_type, true_type>::value, "T || T == T");

static_assert(or_sc<false_type, true_type>::value, "F || T == T");

static_assert(or_sc<true_type, false_type>::value, "T || F == T");

static_assert(!or_sc<false_type, false_type>::value, "F || F == F");

}

TEST(ShortCircuitAnd) {

// Validation of short-circuit compilation using type without "value"

static_assert(!and_sc<false_type, no_value>::value, "Short-circuit and should skip obviate second value requirement when first is false");

// Idempotent

static_assert(and_sc<>::value, "And zero arguments is idempotent, which is true");

// Identity vector

static_assert(and_sc<true_type>::value, "And of one argument is identity");

static_assert(!and_sc<false_type>::value, "And of one argument is identity");

// Logic matrix

static_assert(and_sc<true_type, true_type>::value, "T && T == T");

static_assert(!and_sc<false_type, true_type>::value, "F && T == F");

static_assert(!and_sc<true_type, false_type>::value, "T && F == F");

static_assert(!and_sc<false_type, false_type>::value, "F && F == F");

}