Lines Matching refs:static_assert
448 …static_assert(!is_reference_v<_Tp> && !is_function_v<_Tp> && !is_same_v<remove_cv_t<_Tp>, in_place…
612 static_assert(
749 static_assert(is_nothrow_move_constructible_v<_Tp>,
827 static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
835 static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
843 …static_assert(is_copy_constructible_v<_Err> && is_constructible_v<_Err, decltype(std::move(error()…
852 …static_assert(is_copy_constructible_v<_Err> && is_constructible_v<_Err, decltype(std::move(error()…
886 static_assert(is_copy_constructible_v<_Tp>, "value_type has to be copy constructible");
887 static_assert(is_convertible_v<_Up, _Tp>, "argument has to be convertible to value_type");
893 static_assert(is_move_constructible_v<_Tp>, "value_type has to be move constructible");
894 static_assert(is_convertible_v<_Up, _Tp>, "argument has to be convertible to value_type");
900 static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
901 static_assert(is_convertible_v<_Up, _Err>, "argument has to be convertible to error_type");
909 static_assert(is_move_constructible_v<_Err>, "error_type has to be move constructible");
910 static_assert(is_convertible_v<_Up, _Err>, "argument has to be convertible to error_type");
921 …static_assert(__is_std_expected<_Up>::value, "The result of f(**this) must be a specialization of …
922 static_assert(is_same_v<typename _Up::error_type, _Err>,
934 …static_assert(__is_std_expected<_Up>::value, "The result of f(**this) must be a specialization of …
935 static_assert(is_same_v<typename _Up::error_type, _Err>,
947 static_assert(
949 static_assert(is_same_v<typename _Up::error_type, _Err>,
961 static_assert(
963 static_assert(is_same_v<typename _Up::error_type, _Err>,
975 …static_assert(__is_std_expected<_Gp>::value, "The result of f(error()) must be a specialization of…
976 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
988 …static_assert(__is_std_expected<_Gp>::value, "The result of f(error()) must be a specialization of…
989 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1001 static_assert(
1003 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1015 static_assert(
1017 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1093 static_assert(__valid_std_unexpected<_Gp>::value,
1105 static_assert(__valid_std_unexpected<_Gp>::value,
1117 static_assert(__valid_std_unexpected<_Gp>::value,
1130 static_assert(__valid_std_unexpected<_Gp>::value,
1357 static_assert(__valid_std_unexpected<_Err>::value,
1586 static_assert(is_copy_constructible_v<_Err>);
1593 static_assert(is_copy_constructible_v<_Err> && is_move_constructible_v<_Err>);
1625 static_assert(is_copy_constructible_v<_Err>, "error_type has to be copy constructible");
1626 static_assert(is_convertible_v<_Up, _Err>, "argument has to be convertible to error_type");
1635 static_assert(is_move_constructible_v<_Err>, "error_type has to be move constructible");
1636 static_assert(is_convertible_v<_Up, _Err>, "argument has to be convertible to error_type");
1648 …static_assert(__is_std_expected<_Up>::value, "The result of f() must be a specialization of std::e…
1649 static_assert(
1661 …static_assert(__is_std_expected<_Up>::value, "The result of f() must be a specialization of std::e…
1662 static_assert(
1674 …static_assert(__is_std_expected<_Up>::value, "The result of f() must be a specialization of std::e…
1675 static_assert(
1687 …static_assert(__is_std_expected<_Up>::value, "The result of f() must be a specialization of std::e…
1688 static_assert(
1699 …static_assert(__is_std_expected<_Gp>::value, "The result of f(error()) must be a specialization of…
1700 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1711 …static_assert(__is_std_expected<_Gp>::value, "The result of f(error()) must be a specialization of…
1712 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1723 static_assert(
1725 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1736 static_assert(
1738 static_assert(is_same_v<typename _Gp::value_type, _Tp>,
1809 static_assert(__valid_std_unexpected<_Gp>::value,
1820 static_assert(__valid_std_unexpected<_Gp>::value,
1831 static_assert(__valid_std_unexpected<_Gp>::value,
1843 static_assert(__valid_std_unexpected<_Gp>::value,