struct IntMember {
   const int value = 1;
};

struct ArrayMember {
   const std::array<int, 2> array{0};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
   static constexpr bool isArray() noexcept { return IsArray; }
};

constexpr int test_func() {
   constexpr auto a = Poly<true>{};
   constexpr auto b = Poly<false>{};
   static_assert(decltype(a)::isArray() && !decltype(b)::isArray());

   if constexpr (decltype(a)::isArray() && decltype(b)::isArray()) {
       return a.array == b.array;
   }
   else if constexpr (!decltype(a)::isArray() && !decltype(b)::isArray()) {
       return a.value == b.value;
   }
   else return -1;
}

int main()
{
   return test_func();
}