// 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);