Lines Matching defs:requires
52 concept __can_reference = requires { typename __with_reference<_Tp>; };
55 concept __dereferenceable = requires(_Tp& __t) {
158 concept __cpp17_iterator = requires(_Ip __i) {
165 concept __cpp17_input_iterator = __cpp17_iterator<_Ip> && equality_comparable<_Ip> && requires(_Ip __i) {
170 requires signed_integral<typename incrementable_traits<_Ip>::difference_type>;
177 requires(_Ip __i) {
183 concept __cpp17_bidirectional_iterator = __cpp17_forward_iterator<_Ip> && requires(_Ip __i) {
192 requires(_Ip __i, typename incrementable_traits<_Ip>::difference_type __n) {
204 concept __has_member_reference = requires { typename _Ip::reference; };
207 concept __has_member_pointer = requires { typename _Ip::pointer; };
210 concept __has_member_iterator_category = requires { typename _Ip::iterator_category; };
213 concept __specifies_members = requires {
216 requires __has_member_reference<_Ip>;
217 requires __has_member_iterator_category<_Ip>;
253 requires requires(_Ip& __i) { __i.operator->(); } && (!__has_member_pointer<_Ip>)
319 requires requires { typename incrementable_traits<_Ip>::difference_type; }
405 requires is_object_v<_Tp>