diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:37 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:37 +0000 |
commit | 461a67fa15370a9ec88f8f8a240bf7c123bb2029 (patch) | |
tree | 6942083d7d56bba40ec790a453ca58ad3baf6832 /test/Parser/cxx-concept-declaration.cpp | |
parent | 75c3240472ba6ac2669ee72ca67eb72d4e2851fc (diff) |
Diffstat (limited to 'test/Parser/cxx-concept-declaration.cpp')
-rw-r--r-- | test/Parser/cxx-concept-declaration.cpp | 29 |
1 files changed, 4 insertions, 25 deletions
diff --git a/test/Parser/cxx-concept-declaration.cpp b/test/Parser/cxx-concept-declaration.cpp index fad5975e4a963..2e9d1ac2fc385 100644 --- a/test/Parser/cxx-concept-declaration.cpp +++ b/test/Parser/cxx-concept-declaration.cpp @@ -1,28 +1,7 @@ -// Support parsing of function concepts and variable concepts +// Support parsing of concepts +// Disabled for now. +// expected-no-diagnostics // RUN: %clang_cc1 -std=c++14 -fconcepts-ts -x c++ -verify %s - -template<typename T> concept bool C1 = true; - -template<typename T> concept bool C2() { return true; } - -template<typename T> -struct A { typedef bool Boolean; }; - -template<int N> -A<void>::Boolean concept C3(!0); - -template<typename T, int = 0> -concept auto C4(void) -> bool { return true; } - -constexpr int One = 1; - -template <typename> -static concept decltype(!0) C5 { bool(One) }; - -template<typename T> concept concept bool C6 = true; // expected-warning {{duplicate 'concept' declaration specifier}} - -template<typename T> concept concept bool C7() { return true; } // expected-warning {{duplicate 'concept' declaration specifier}} - -template<concept T> concept bool D1 = true; // expected-error {{unknown type name 'T'}} +// template<typename T> concept C1 = true; |