// RUN: %clang_cc1 -std=c++20 -verify %s
// expected-no-diagnostics

template <template <class> class>
struct S
{};

template <class T>
concept C1 = requires
{
  typename S<T::template value_types>;
};

template <class T>
requires C1<T>
struct A {};

template <class T>
requires C1<T> && true
struct A<T> {};