Lines Matching refs:concept

4   template<typename T> concept True = true;
5 …template<typename ...T> concept AllTrue1 = True<T>; // expected-error {{expression contains unexpa…
6   template<typename ...T> concept AllTrue2 = (True<T> && ...);
11   template<typename ...T> concept AllAddable1 = requires(T ...t) { (void(t + 1), ...); };
12 …template<typename ...T> concept AllAddable2 = (requires(T ...t) { (t + 1); } && ...); // expected-…
13   template<typename ...T> concept AllAddable3 = (requires(T t) { (t + 1); } && ...);
14 …template<typename ...T> concept AllAddable4 = requires(T t) { (t + 1); }; // expected-error {{expr…
15 …template<typename ...T> concept AllAddable5 = requires(T t) { (void(t + 1), ...); }; // expected-e…
16   template<typename ...T> concept AllAddable6 = (requires { (T() + 1); } && ...);
17 …template<typename ...T> concept AllAddable7 = requires { (T() + 1); }; // expected-error {{express…
28   template<class> concept C = true; // expected-note 2{{here}}
63   template<typename T> concept C = true;
70   template<typename T> concept NotInt = sizeof(T) != sizeof(int); // expected-note {{because}}
79   template<typename T, typename U> concept C = sizeof(T) == sizeof(int); // expected-note 3{{}}
132   template<typename T> concept C = __builtin_is_constant_evaluated(); // expected-warning {{always}}
135 …template<typename T> concept D = __builtin_is_constant_evaluated() == true; // expected-warning {{…
138 …template<typename T> concept E = __builtin_is_constant_evaluated() == true && // expected-warning …
142 …template<typename T> concept F = __builtin_is_constant_evaluated() == false; // expected-warning {…
146 …template<typename T> concept G = __builtin_is_constant_evaluated() && // expected-warning {{always…
154 …template <class T> concept C = &n + 3 - 3 == &n; // expected-error {{non-constant expression}} exp…
159   template <typename T> concept foo = true;
160   template <typename T> concept foo2 = foo<T> && true;
167   template<typename> concept C = false;
174   template<class T> concept C = false;     // expected-note 7 {{because 'false' evaluated to false}}
202   template<class T> concept C = false; // expected-note 3 {{because 'false' evaluated to false}}
238 concept same_as = is_same<T, U>::value; // expected-note-re 4 {{because {{.*}} evaluated to false}}
251 concept C = false; // expected-note 3 {{because 'false' evaluated to false}}