blob: fad5975e4a9636cdd44d3e125653e1c92c919f1c [file] [log] [blame]
// Support parsing of function concepts and variable concepts
// 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'}}