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


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

// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts" }

namespace X
{
  template<class> constexpr bool x = true;
}

template<int> using helper = void;

template<typename T>
concept C =
  requires
  {
    requires X::x<T>;
    typename helper<T{}>;
  };

static_assert(C<int>);