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


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

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

template<class T>
concept C = requires { sizeof(T); } && T::value; // { dg-error "changed from" }

struct A;

static_assert(!C<A>);

struct A { static constexpr bool value = false; }; // { dg-warning Wsfinae-incomplete }

static_assert(C<A>); // { dg-error "assert" }