diff options
author | Saar Raz <saar@raz.email> | 2019-10-15 15:24:26 +0000 |
---|---|---|
committer | Saar Raz <saar@raz.email> | 2019-10-15 15:24:26 +0000 |
commit | 40a8d3b5eea52db1c328646df4ac9b10ab919dd7 (patch) | |
tree | 0109c862c7c107f75a6761f9041369cccd301084 /test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp | |
parent | 04a9a9ffc7bfe4a6aa68bab502171cc63f0309d0 (diff) | |
download | clang-40a8d3b5eea52db1c328646df4ac9b10ab919dd7.tar.gz |
[Concepts] Concept Specialization Expressions
Part of C++20 Concepts implementation effort. Added Concept Specialization Expressions that are created when a concept is refe$
D41217 on Phabricator.
(recommit after fixing failing Parser test on windows)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@374903 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp')
-rw-r--r-- | test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp b/test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp deleted file mode 100644 index f8a1bb72e3..0000000000 --- a/test/CXX/concepts-ts/dcl.dcl/dcl.spec/dcl.spec.concept/p6.cpp +++ /dev/null @@ -1,25 +0,0 @@ -// RUN: %clang_cc1 -std=c++14 -fconcepts-ts -x c++ -verify %s - -template<typename T> -concept bool vc { true }; - -template<typename T> -struct B { typedef bool Boolean; }; - -template<int N> -B<void>::Boolean concept vctb(!0); - -template<typename T> -concept const bool vctc { true }; // expected-error {{declared type of variable concept must be 'bool'}} - -template<typename T> -concept int vcti { 5 }; // expected-error {{declared type of variable concept must be 'bool'}} - -template<typename T> -concept float vctf { 5.5 }; // expected-error {{declared type of variable concept must be 'bool'}} - -template<typename T> -concept auto vcta { true }; // expected-error {{declared type of variable concept must be 'bool'}} - -template<typename T> -concept decltype(auto) vctd { true }; // expected-error {{declared type of variable concept must be 'bool'}} |