clang/test/SemaTemplate/concepts-GH53354.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

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