Lines Matching refs:requires

25 template<typename T> requires
26 false_v<requires (T t) { requires is_same_v<decltype(t), int>; }>
36 template<typename... Ts> requires
37 false_v<requires (Ts... ts) {requires ((sizeof(ts) == 2) && ...);}>
45 template<typename... Ts> requires
46 false_v<(requires (Ts ts) {requires sizeof(ts) != 0;} && ...)>
61 …template<typename T> requires false_v<requires { typename T::type; }> // expected-note{{because 'f…
69       template<typename U> requires is_same_v<contains_template<T>, U>
73   template<typename T> requires
74   false_v<requires { typename T::template temp<T>; }>
86       template<typename U> requires (requires { typename T::a::a; }, false)
94   template<typename... Ts> requires
95   false_v<(requires { typename Ts::type; } && ...)>
100   template<typename... Ts> requires
101 …false_v<(requires { typename void_t<Ts>; } && ...)> // expected-note{{because 'false_v<requires { …
106   template<typename... Ts> requires
107   false_v<(requires { typename Ts::template aaa<Ts>; } && ...)>
117   template<typename T> requires false_v<requires { sizeof(T); { sizeof(T) }; }>
129 …template<typename U> requires (requires { sizeof(T::a); }, false) // expected-note{{because 'requi…
140   template<typename T> requires false_v<requires(T t) { { t } -> C1<T>; }>
154 …template<typename U> requires (requires { { 0 } -> C1<typename T::a>; }, false) // expected-note{{…
161   template<typename... Ts> requires
162   false_v<(requires { { 0 } noexcept -> C1<Ts>; } && ...)>
171         if constexpr (requires { this->invalid(); })  in foo()
177       constexpr void invalid() requires false { }  in invalid()
184 …template<typename T> requires false_v<requires { requires sizeof(T) == 2; }> // expected-note{{bec…
192       template<typename U> requires
193 …(requires { requires sizeof(T::a) == 0; }, false) // expected-note{{because 'requires { requires <…
200   template<typename... Ts> requires
201   false_v<(requires { requires sizeof(Ts) == 0; } && ...)>
209 template<typename... Ts> requires
210 false_v<(requires { requires sizeof(Ts) == 0; sizeof(Ts); } && ...)>
216 template<typename... Ts> requires
217 false_v<(requires(Ts t) { requires sizeof(t) == 0; t++; } && ...)>
223 template<typename T> requires
224 false_v<(requires(T t) { T{t}; })> // T{t} creates an "UnevaluatedList" context.