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
|
// RUN: %clang_cc1 -std=c++20 -verify -fsyntax-only %s
namespace a {
template <typename T>
concept C1 = true; // #C1
template <typename T>
auto V1 = true; // #V1
namespace b {
template <typename T>
concept C2 = true; // #C2
template <typename T>
auto V2 = true; // #V2
}
}
template <typename T>
concept C3 = true; // #C3
template <typename T>
auto V3 = true; // #V3
template <template <typename T> typename C>
constexpr bool test = true;
static_assert(test<a::C1>); // expected-error {{too few template arguments for concept 'C1'}} \
// expected-note@#C1 {{here}}
static_assert(test<a::b::C2>); // expected-error {{too few template arguments for concept 'C2'}} \
// expected-note@#C2 {{here}}
static_assert(test<C3>); // expected-error {{too few template arguments for concept 'C3'}} \
// expected-note@#C3 {{here}}
static_assert(test<a::V1>); // expected-error {{use of variable template 'a::V1' requires template arguments}} \
// expected-note@#V1 {{here}}
static_assert(test<a::b::V2>); // expected-error {{use of variable template 'a::b::V2' requires template arguments}} \
// expected-note@#V2 {{here}}
static_assert(test<V3>); // expected-error {{use of variable template 'V3' requires template arguments}} \
// expected-note@#V3 {{here}}
void f() {
C3 t1 = 0; // expected-error {{expected 'auto' or 'decltype(auto)' after concept name}}
a::C1 t2 = 0; // expected-error {{expected 'auto' or 'decltype(auto)' after concept name}}
a::b::C2 t3 = 0; // expected-error {{expected 'auto' or 'decltype(auto)' after concept name}}
}
|
