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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
// RUN: %clang_cc1 -std=c++2a -x c++ -verify %s
namespace nodiag {
template <typename T> requires (bool(T()))
struct A;
template <typename U> requires (bool(U()))
struct A;
template<typename T>
concept C1 = true;
template <C1 T> requires (bool(T()))
struct B;
template <C1 U> requires (bool(U()))
struct B;
} // end namespace nodiag
namespace diag {
template <typename T> requires true // expected-note{{previous template declaration is here}}
struct A;
template <typename T> struct A; // expected-error{{requires clause differs in template redeclaration}}
template <typename T> struct B; // expected-note{{previous template declaration is here}}
template <typename T> requires true // expected-error{{requires clause differs in template redeclaration}}
struct B;
template <typename T> requires true // expected-note{{previous template declaration is here}}
struct C;
template <typename T> requires (!0) // expected-error{{requires clause differs in template redeclaration}}
struct C;
template<typename T>
concept C1 = true;
template <C1 T> // expected-note{{previous template declaration is here}}
struct D;
template <typename T> requires C1<T> // expected-error{{type constraint differs in template redeclaration}}
struct D;
} // end namespace diag
namespace nodiag {
struct AA {
template <typename T> requires (someFunc(T()))
struct A;
};
template <typename U> requires (someFunc(U()))
struct AA::A { };
struct AAF {
template <typename T> requires (someFunc(T()))
friend struct AA::A;
};
} // end namespace nodiag
namespace diag {
template <unsigned N>
struct TA {
template <template <unsigned> class TT> requires TT<N>::happy // expected-note {{previous template declaration is here}}
struct A;
template <template <unsigned> class TT> requires TT<N>::happy // expected-note {{previous template declaration is here}}
struct B;
struct AF;
};
template <unsigned N>
template <template <unsigned> class TT> struct TA<N>::A { }; // expected-error{{requires clause differs in template redeclaration}}
template <unsigned N>
template <template <unsigned> class TT> requires TT<N + 1>::happy struct TA<N>::B { }; // expected-error{{requires clause differs in template redeclaration}}
template <unsigned N>
struct TA<N>::AF {
// we do not expect a diagnostic here because the template parameter list is dependent.
template <template <unsigned> class TT> requires TT<N + 0>::happy
friend struct TA::A;
};
} // end namespace diag
|
