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


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

// PR c++/105652
// { dg-do compile { target c++20 } }
// { dg-additional-options -g }

template<int>
struct I {};

template<class T>
concept C = []<int N>(I<N>) { return true; } (I<0>{});

template<class T>
struct S { };

template<C T>
struct S<T> { constexpr static bool value = true; };

static_assert(S<int>::value);