Lines Matching refs:concept

3 template<typename T> concept C1 = true; // expected-note{{template is declared here}}
8 template<typename T> concept C2 = sizeof(T) == 4;
14 template<typename T> concept C3 = sizeof(*T{}) == 4;
29 concept C4 = U::add(1, 2) == 3;
42 concept Same = is_same_v<T, U>;
55 template<typename T> concept C5 = T{}; // expected-error {{atomic constraint must be of type 'bool'…
59 concept IsEven = (x % 2) == 0;
65 concept IsTypePredicate = is_same_v<decltype(P<bool>::value), const bool>
76 concept OneOf = (Same<T, Ts> || ...);
83   concept True = true;
86   concept A = True<T> || T::value;
89   concept B = (True<T> || T::value);
92   concept C = !True<T> && T::value || true;
95   concept D = (!True<T> && T::value) || true;
98   concept E = T::value || True<T>;
101   concept F = (T::value || True<T>);
104   concept G = T::value && !True<T> || true;
107   concept H = (T::value && !True<T>) || true;
110   concept I = T::value;
130 concept C6 = sizeof(T) == 1 && sizeof(typename T3<T>::type) == 1;
135 concept C7 = sizeof(T) == 1 || sizeof(
150 concept SameSize = sizeof(T) == sizeof(U);
159 concept Large = sizeof(T) > 100;
173 template<typename T> concept AccessPrivate = T{}.f;
181 concept C8 = sizeof(T) > sizeof(U);
191 concept C9 = true;