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


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

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

template<class I>
concept True = true;

template<class T>
concept HasType = requires { typename T::type; };

template<class T>
struct S
{
  void foo() requires HasType<T> && True<typename T::type>;
};

S<int> s;