| // 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 'V1' requires template arguments}} \ |
| // expected-note@#V1 {{here}} |
| static_assert(test<a::b::V2>); // expected-error {{use of variable template '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}} |
| } |