clang/test/SemaTemplate/GH71595.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

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

template<class T, class U>
concept C = true;

class non_temp {
    template<C<non_temp> T>
    friend void f();

    non_temp();
};

template<C<non_temp> T>
void f() {
    auto v = non_temp();
}

template<class A>
class temp {
    template<C<temp> T>
    friend void g(); // expected-error {{friend declaration with a constraint that depends on an enclosing template parameter must be a definition}}

    temp();
};

template<C<temp<int>> T>
void g() {
    auto v = temp<T>();
}

void h() {
    f<int>();
    g<int>();
}