clang/test/SemaTemplate/concepts-GH53354.cpp

   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> {};