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