// Copyright 2018 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// This is a "No Compile Test" suite.
// http://dev.chromium.org/developers/testing/no-compile-tests

#include "base/traits_bag.h"

namespace base {

enum class RequiredTrait {
  A,
  B,
  C
};

struct BooleanTrait {};

struct NotAValidTrait {};

struct TestTraits {
  // List of traits that are valid inputs for the constructor below.
  using ValidTraits = ParameterPack<RequiredTrait, BooleanTrait>;

  template <class... ArgTypes>
    requires trait_helpers::AreValidTraits<ValidTraits, ArgTypes...>
  constexpr TestTraits(ArgTypes... args)
      : required_trait(trait_helpers::GetEnum<RequiredTrait>(args...)),
        boolean_trait(trait_helpers::HasTrait<BooleanTrait, ArgTypes...>()) {}

  const RequiredTrait required_trait;
  const bool boolean_trait;
};

// expected-error@base/traits_bag.h:* {{static assertion failed: The traits bag is missing a required trait.}}
constexpr TestTraits traits = {};

// expected-error@+1 {{no matching constructor for initialization of 'const TestTraits'}}
constexpr TestTraits traits2 = {RequiredTrait::A, NotAValidTrait{}};

// expected-error@base/traits_bag.h:* {{static assertion failed: The traits bag contains multiple traits of the same type.}}
constexpr TestTraits traits3 = {RequiredTrait::A, RequiredTrait::B};

// expected-error@base/traits_bag.h:* {{The traits bag contains multiple traits of the same type.}}
constexpr TestTraits traits4 = {RequiredTrait::A, BooleanTrait(), BooleanTrait()};

}  // namespace base