1 // RUN: %clang_cc1 -std=c++20 -verify %s 2 // expected-no-diagnostics 3 4 template <template <class> class> 5 struct S 6 {}; 7 8 template <class T> 9 concept C1 = requires 10 { 11 typename S<T::template value_types>; 12 }; 13 14 template <class T> 15 requires C1<T> 16 struct A {}; 17 18 template <class T> 19 requires C1<T> && true 20 struct A<T> {}; 21