Lines Matching defs:requires

53 concept __can_reference = requires { typename __with_reference<_Tp>; };
56 concept __dereferenceable = requires(_Tp& __t) {
160 concept __cpp17_iterator = requires(_Ip __i) {
167 concept __cpp17_input_iterator = __cpp17_iterator<_Ip> && equality_comparable<_Ip> && requires(_Ip __i) {
172   requires signed_integral<typename incrementable_traits<_Ip>::difference_type>;
179     requires(_Ip __i) {
185 concept __cpp17_bidirectional_iterator = __cpp17_forward_iterator<_Ip> && requires(_Ip __i) {
194     requires(_Ip __i, typename incrementable_traits<_Ip>::difference_type __n) {
206 concept __has_member_reference = requires { typename _Ip::reference; };
209 concept __has_member_pointer = requires { typename _Ip::pointer; };
212 concept __has_member_iterator_category = requires { typename _Ip::iterator_category; };
215 concept __specifies_members = requires {
218   requires __has_member_reference<_Ip>;
219   requires __has_member_iterator_category<_Ip>;
255   requires requires(_Ip& __i) { __i.operator->(); } && (!__has_member_pointer<_Ip>)
321   requires requires { typename incrementable_traits<_Ip>::difference_type; }
407   requires is_object_v<_Tp>