21 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -verify %s2// expected-no-diagnostics3 4template <template <class> class>5struct S6{};7 8template <class T>9concept C1 = requires10{11 typename S<T::template value_types>;12};13 14template <class T>15requires C1<T>16struct A {};17 18template <class T>19requires C1<T> && true20struct A<T> {};21