//-*- C++ -*-

// Intended to exercise all syntactic parts of the C++ language that
// aren't part of C.

namespace std {
  namespace debug {
  }
}

using namespace std::debug;
using namespace std;

namespace safestl = ::std::debug;

class Base1 { 
};

class Base2 { };

class Derived1 : Base1, virtual public Base2 { };

/* Template classes, template functions */
enum E1 { EC1 };
template <E1 v> class C1 {};
template <E1 v> C1<v> f1() { return C1<v>(); }
void f2() { f1<EC1>(); }

// Friend declarations
struct FriendlyStruct {
  friend bool operator==(FriendlyStruct, FriendlyStruct) { return true; }
  friend struct FriendedStruct;
};

struct FriendedStruct { };

// Using declaration
namespace provider {
  void foo();
}
namespace user {
  using provider::foo;
}

// Empty declaration
;

// Template specialization declarations
template<typename T> class ClassTemplateSpecialization;

template<>
class ClassTemplateSpecialization<bool> { };

template<typename T, bool> struct ClassTemplatePartialSpecialization;

template<typename T>
struct ClassTemplatePartialSpecialization<T, true> { };

// Access specifier
struct AccessSpec {
private:
};

// Variable template
template <typename T> T varTemplate = 0;

static_assert(true, "");

// Concepts
template<typename T> concept True = true;
template<typename T> concept Concept = requires (T a) {
  a;
  { a() } noexcept -> True;
  requires false || true;
  typename T::type;
};
template<typename T> void constrained1() requires Concept<T>;
template<Concept T> void constrained2();
void constrained3(Concept auto x);