gcc/testsuite/g++.dg/cpp2a/concepts-requires31.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// PR c++/107179
// { dg-do compile { target c++20 } }

template<bool B> struct bool_constant { static constexpr bool value = B; };

template<typename T>
  struct is_implicitly_default_constructible
  : bool_constant<requires { T(); }>
  { };

struct X { private: X(); };
struct Y { };

static_assert( !is_implicitly_default_constructible<X>::value );
static_assert(  is_implicitly_default_constructible<Y>::value );