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
|
// RUN: %clang_cc1 -std=c++2a -x c++ -verify %s
namespace nodiag {
template <typename T> requires (bool(T()))
int A();
template <typename U> requires (bool(U()))
int A();
} // end namespace nodiag
namespace diag {
namespace orig {
template <typename T> requires true
int A();
template <typename T>
int B();
template <typename T> requires true
int C();
}
template <typename T>
int orig::A();
// expected-error@-1{{out-of-line declaration of 'A' does not match any declaration in namespace 'diag::orig'}}
template <typename T> requires true
int orig::B();
// expected-error@-1{{out-of-line declaration of 'B' does not match any declaration in namespace 'diag::orig'}}
template <typename T> requires (!0)
int orig::C();
// expected-error@-1{{out-of-line declaration of 'C' does not match any declaration in namespace 'diag::orig'}}
} // end namespace diag
namespace nodiag {
struct AA {
template <typename T> requires (someFunc(T()))
int A();
};
template <typename T> requires (someFunc(T()))
int AA::A() { return sizeof(T); }
} // end namespace nodiag
namespace diag {
template <unsigned N>
struct TA {
template <template <unsigned> class TT> requires TT<N>::happy
int A();
};
template <unsigned N>
template <template <unsigned> class TT> int TA<N>::A() { return sizeof(TT<N>); }
// expected-error@-1{{out-of-line definition of 'A' does not match any declaration in 'TA<N>'}}
} // end namespace diag
|
