From 5dd9eaac87a50adc62b170987ebac2d1344d63c5 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Sun, 24 May 2020 22:49:53 +0200
Subject: [PATCH] Redundant constraints removed (resolves #109)

---
 src/include/units/quantity.h | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/include/units/quantity.h b/src/include/units/quantity.h
index 24571669..e497c8f1 100644
--- a/src/include/units/quantity.h
+++ b/src/include/units/quantity.h
@@ -354,8 +354,7 @@ template<typename D1, typename U1, typename Rep1, typename D2, typename U2, type
 
 template<typename D1, typename U1, typename Rep1, typename D2, typename U2, typename Rep2>
 [[nodiscard]] constexpr Quantity AUTO operator*(const quantity<D1, U1, Rep1>& lhs, const quantity<D2, U2, Rep2>& rhs)
-  requires std::regular_invocable<std::multiplies<>, Rep1, Rep2> &&
-           (!equivalent_dim<D1, dim_invert<D2>>)
+  requires std::regular_invocable<std::multiplies<>, Rep1, Rep2>
 {
   using dim = dimension_multiply<D1, D2>;
   using ratio1 = ratio_divide<typename U1::ratio, typename dimension_unit<D1>::ratio>;
@@ -406,8 +405,7 @@ template<typename D1, typename U1, typename Rep1, typename D2, typename U2, type
 
 template<typename D1, typename U1, typename Rep1, typename D2, typename U2, typename Rep2>
 [[nodiscard]] constexpr Quantity AUTO operator/(const quantity<D1, U1, Rep1>& lhs, const quantity<D2, U2, Rep2>& rhs)
-  requires std::regular_invocable<std::divides<>, Rep1, Rep2> &&
-           (!equivalent_dim<D1, D2>)
+  requires std::regular_invocable<std::divides<>, Rep1, Rep2>
 {
   Expects(rhs.count() != 0);