1 // { dg-do compile { target c++2a } }
2 
3 template<typename T>
4 concept Concept =
requires()5   requires () {
6     typename T::member_type1;
7     typename T::member_type2;
8   };
9 
10 struct model {
11   using member_type1 = int;
12   using member_type2 = int;
13 };
14 
15 template<Concept C>
16 struct S {};
17 
18 S<model> s;
19