Lines Matching refs:static_assert

235     static_assert(is_object_v<value_type>,
284     static_assert(is_object_v<value_type>,
430       static_assert(__can_bind_reference<_UArg>(),
455         static_assert(__can_bind_reference<_UArg>(),
642     static_assert(!is_same_v<__remove_cvref_t<value_type>, in_place_t>,
644     static_assert(!is_same_v<__remove_cvref_t<value_type>, nullopt_t>,
646     static_assert(!is_reference_v<value_type>,
648     static_assert(is_destructible_v<value_type>,
650     static_assert(!is_array_v<value_type>,
1030         static_assert(is_copy_constructible_v<value_type>,
1032         static_assert(is_convertible_v<_Up, value_type>,
1042         static_assert(is_move_constructible_v<value_type>,
1044         static_assert(is_convertible_v<_Up, value_type>,
1055     static_assert(__is_std_optional<remove_cvref_t<_Up>>::value,
1066     static_assert(__is_std_optional<remove_cvref_t<_Up>>::value,
1077     static_assert(__is_std_optional<remove_cvref_t<_Up>>::value,
1088     static_assert(__is_std_optional<remove_cvref_t<_Up>>::value,
1099     static_assert(!is_array_v<_Up>, "Result of f(value()) should not be an Array");
1100     static_assert(!is_same_v<_Up, in_place_t>,
1102     static_assert(!is_same_v<_Up, nullopt_t>,
1104     static_assert(is_object_v<_Up>, "Result of f(value()) should be an object type");
1114     static_assert(!is_array_v<_Up>, "Result of f(value()) should not be an Array");
1115     static_assert(!is_same_v<_Up, in_place_t>,
1117     static_assert(!is_same_v<_Up, nullopt_t>,
1119     static_assert(is_object_v<_Up>, "Result of f(value()) should be an object type");
1129     static_assert(!is_array_v<_Up>, "Result of f(std::move(value())) should not be an Array");
1130     static_assert(!is_same_v<_Up, in_place_t>,
1132     static_assert(!is_same_v<_Up, nullopt_t>,
1134     static_assert(is_object_v<_Up>, "Result of f(std::move(value())) should be an object type");
1144     static_assert(!is_array_v<_Up>, "Result of f(std::move(value())) should not be an Array");
1145     static_assert(!is_same_v<_Up, in_place_t>,
1147     static_assert(!is_same_v<_Up, nullopt_t>,
1149     static_assert(is_object_v<_Up>, "Result of f(std::move(value())) should be an object type");
1158     static_assert(is_same_v<remove_cvref_t<invoke_result_t<_Func>>, optional>,
1168     static_assert(is_same_v<remove_cvref_t<invoke_result_t<_Func>>, optional>,