Lines Matching refs:false_v

18 constexpr bool false_v = false;  variable
26 false_v<requires (T t) { requires is_same_v<decltype(t), int>; }>
37 false_v<requires (Ts... ts) {requires ((sizeof(ts) == 2) && ...);}>
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…
74   false_v<requires { typename T::template temp<T>; }>
95   false_v<(requires { typename Ts::type; } && ...)>
101 …false_v<(requires { typename void_t<Ts>; } && ...)> // expected-note{{because 'false_v<requires { …
107   false_v<(requires { typename Ts::template aaa<Ts>; } && ...)>
117   template<typename T> requires false_v<requires { sizeof(T); { sizeof(T) }; }>
140   template<typename T> requires false_v<requires(T t) { { t } -> C1<T>; }>
162   false_v<(requires { { 0 } noexcept -> C1<Ts>; } && ...)>
184 …template<typename T> requires false_v<requires { requires sizeof(T) == 2; }> // expected-note{{bec…
201   false_v<(requires { requires sizeof(Ts) == 0; } && ...)>
210 false_v<(requires { requires sizeof(Ts) == 0; sizeof(Ts); } && ...)>
217 false_v<(requires(Ts t) { requires sizeof(t) == 0; t++; } && ...)>
224 false_v<(requires(T t) { T{t}; })> // T{t} creates an "UnevaluatedList" context.