Lines Matching full:requires

218       requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
223 requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
248 requires(is_trivially_destructible_v<_Tp> && is_trivially_destructible_v<_Err>)
289 requires(__allow_reusing_expected_tail_padding)
296 requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
301 requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
309 requires(is_trivially_destructible_v<_Tp> && is_trivially_destructible_v<_Err>)
313 requires(!is_trivially_destructible_v<_Tp> || !is_trivially_destructible_v<_Err>)
319 requires(__allow_reusing_expected_tail_padding &&
328 requires(__allow_reusing_expected_tail_padding &&
337 requires(__allow_reusing_expected_tail_padding)
345 requires(__allow_reusing_expected_tail_padding)
356 requires(!is_trivially_destructible_v<_Tp> || !is_trivially_destructible_v<_Err>)
367 requires(__allow_reusing_expected_tail_padding)
381 requires(__put_flag_in_tail)
415 requires(__put_flag_in_tail)
477 requires is_default_constructible_v<_Tp>
483requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> && is_trivially_copy_constr…
489 requires(is_copy_constructible_v<_Tp> && is_copy_constructible_v<_Err> &&
494requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> && is_trivially_move_constr…
500 requires(is_move_constructible_v<_Tp> && is_move_constructible_v<_Err> &&
538 requires __can_convert<_Up, _OtherErr, const _Up&, const _OtherErr&>::value
547 requires __can_convert<_Up, _OtherErr, _Up, _OtherErr>::value
554requires(!is_same_v<remove_cvref_t<_Up>, in_place_t> && !is_same_v<expected, remove_cvref_t<_Up>> …
562 requires is_constructible_v<_Err, const _OtherErr&>
568 requires is_constructible_v<_Err, _OtherErr>
574 requires is_constructible_v<_Tp, _Args...>
580 requires is_constructible_v< _Tp, initializer_list<_Up>&, _Args... >
586 requires is_constructible_v<_Err, _Args...>
592 requires is_constructible_v< _Err, initializer_list<_Up>&, _Args... >
631requires(is_copy_assignable_v<_Tp> && is_copy_constructible_v<_Tp> && is_copy_assignable_v<_Err> &&
650requires(is_move_constructible_v<_Tp> && is_move_assignable_v<_Tp> && is_move_constructible_v<_Err…
668requires(!is_same_v<expected, remove_cvref_t<_Up>> && !__is_std_unexpected<remove_cvref_t<_Up>>::v…
693 requires(__can_assign_from_unexpected<const _OtherErr&>)
704 requires(__can_assign_from_unexpected<_OtherErr>)
715 requires is_nothrow_constructible_v<_Tp, _Args...>
723 requires is_nothrow_constructible_v<_Tp, initializer_list<_Up>&, _Args...>
735 requires(is_swappable_v<_Tp> && is_swappable_v<_Err> && is_move_constructible_v<_Tp> &&
780 requires requires { __x.swap(__y); }
788 this->__has_val(), "expected::operator-> requires the expected to contain a value");
794 this->__has_val(), "expected::operator-> requires the expected to contain a value");
800 this->__has_val(), "expected::operator* requires the expected to contain a value");
806 this->__has_val(), "expected::operator* requires the expected to contain a value");
812 this->__has_val(), "expected::operator* requires the expected to contain a value");
818 this->__has_val(), "expected::operator* requires the expected to contain a value");
862 !this->__has_val(), "expected::error requires the expected to contain an error");
868 !this->__has_val(), "expected::error requires the expected to contain an error");
874 !this->__has_val(), "expected::error requires the expected to contain an error");
880 !this->__has_val(), "expected::error requires the expected to contain an error");
918 requires is_constructible_v<_Err, _Err&>
931 requires is_constructible_v<_Err, const _Err&>
944 requires is_constructible_v<_Err, _Err&&>
958 requires is_constructible_v<_Err, const _Err&&>
972 requires is_constructible_v<_Tp, _Tp&>
985 requires is_constructible_v<_Tp, const _Tp&>
998 requires is_constructible_v<_Tp, _Tp&&>
1012 requires is_constructible_v<_Tp, const _Tp&&>
1026 requires is_constructible_v<_Err, _Err&>
1042 requires is_constructible_v<_Err, const _Err&>
1058 requires is_constructible_v<_Err, _Err&&>
1074 requires is_constructible_v<_Err, const _Err&&>
1090 requires is_constructible_v<_Tp, _Tp&>
1102 requires is_constructible_v<_Tp, const _Tp&>
1114 requires is_constructible_v<_Tp, _Tp&&>
1127 requires is_constructible_v<_Tp, const _Tp&&>
1141 requires(!is_void_v<_T2>)
1175 requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1179 requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1196 requires(is_trivially_destructible_v<_Err>)
1201 requires(!is_trivially_destructible_v<_Err>)
1228 requires(__allow_reusing_expected_tail_padding)
1235 requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1239 requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1246 requires(is_trivially_destructible_v<_Err>)
1250 requires(!is_trivially_destructible_v<_Err>)
1256 requires(__allow_reusing_expected_tail_padding && is_trivially_destructible_v<_Err>)
1262 requires(__allow_reusing_expected_tail_padding && !is_trivially_destructible_v<_Err>)
1269 requires(__allow_reusing_expected_tail_padding)
1277 requires(__allow_reusing_expected_tail_padding)
1288 requires(!is_trivially_destructible_v<_Err>)
1296 requires(__allow_reusing_expected_tail_padding)
1310 requires(__put_flag_in_tail)
1325 requires(__put_flag_in_tail)
1355 requires is_void_v<_Tp>
1389 requires(is_copy_constructible_v<_Err> && is_trivially_copy_constructible_v<_Err>)
1394 requires(is_copy_constructible_v<_Err> && !is_trivially_copy_constructible_v<_Err>)
1398 requires(is_move_constructible_v<_Err> && is_trivially_move_constructible_v<_Err>)
1402 requires(is_move_constructible_v<_Err> && !is_trivially_move_constructible_v<_Err>)
1406 requires __can_convert<_Up, _OtherErr, const _OtherErr&>::value
1413 requires __can_convert<_Up, _OtherErr, _OtherErr>::value
1419 requires is_constructible_v<_Err, const _OtherErr&>
1425 requires is_constructible_v<_Err, _OtherErr>
1433 requires is_constructible_v<_Err, _Args...>
1439 requires is_constructible_v< _Err, initializer_list<_Up>&, _Args... >
1479 requires(is_copy_assignable_v<_Err> && is_copy_constructible_v<_Err>)
1499 requires(is_move_assignable_v<_Err> && is_move_constructible_v<_Err>)
1516 requires(is_constructible_v<_Err, const _OtherErr&> && is_assignable_v<_Err&, const _OtherErr&>)
1527 requires(is_constructible_v<_Err, _OtherErr> && is_assignable_v<_Err&, _OtherErr>)
1546 requires(is_swappable_v<_Err> && is_move_constructible_v<_Err>)
1570 requires requires { __x.swap(__y); }
1582 this->__has_val(), "expected::operator* requires the expected to contain a value");
1601 !this->__has_val(), "expected::error requires the expected to contain an error");
1607 !this->__has_val(), "expected::error requires the expected to contain an error");
1613 !this->__has_val(), "expected::error requires the expected to contain an error");
1619 !this->__has_val(), "expected::error requires the expected to contain an error");
1645 requires is_constructible_v<_Err, _Err&>
1658 requires is_constructible_v<_Err, const _Err&>
1671 requires is_constructible_v<_Err, _Err&&>
1684 requires is_constructible_v<_Err, const _Err&&>
1747 requires is_constructible_v<_Err, _Err&>
1762 requires is_constructible_v<_Err, const _Err&>
1777 requires is_constructible_v<_Err, _Err&&>
1792 requires is_constructible_v<_Err, const _Err&&>
1854 requires is_void_v<_T2>