aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/newtype/impl/type_traits_extensions.hpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/include/newtype/impl/type_traits_extensions.hpp b/include/newtype/impl/type_traits_extensions.hpp
index 56824e2..d3e6d8b 100644
--- a/include/newtype/impl/type_traits_extensions.hpp
+++ b/include/newtype/impl/type_traits_extensions.hpp
@@ -595,7 +595,7 @@ namespace nt::impl
* @note This specialization forms the case for subtractable T
*/
template<typename T>
- struct is_subtractable<T, std::void_t<decltype(std::declval<T const &>() + std::declval<T const &>())>> : std::true_type
+ struct is_subtractable<T, std::void_t<decltype(std::declval<T const &>() - std::declval<T const &>())>> : std::true_type
{
};
@@ -625,8 +625,8 @@ namespace nt::impl
* @note This specialization forms the case for subtractable T detemining if T is noexcept subtractable
*/
template<typename T>
- struct is_nothrow_subtractable<T, std::void_t<decltype(std::declval<T const &>() + std::declval<T const &>())>>
- : std::bool_constant<noexcept(std::declval<T const &>() + std::declval<T const &>())>
+ struct is_nothrow_subtractable<T, std::void_t<decltype(std::declval<T const &>() - std::declval<T const &>())>>
+ : std::bool_constant<noexcept(std::declval<T const &>() - std::declval<T const &>())>
{
};