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


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

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

template<typename T>
concept Concept =
  requires () {
    typename T::member_type1;
    typename T::member_type2;
  };

struct model {
  using member_type1 = int;
  using member_type2 = int;
};

template<Concept C>
struct S {};

S<model> s;