refactor: inverse() constraints improved

This commit is contained in:
Mateusz Pusz
2024-12-28 14:02:22 +01:00
parent 06cbfae3b3
commit 71917a41dc

View File

@ -447,7 +447,7 @@ template<Unit auto To, auto R, typename Rep>
[[nodiscard]] constexpr QuantityOf<dimensionless / get_quantity_spec(R)> auto inverse(const quantity<R, Rep>& q)
requires requires {
representation_values<Rep>::one();
value_cast<To>(1 / q);
value_cast<To>(representation_values<Rep>::one() / q);
}
{
return (representation_values<Rep>::one() * one).force_in(To * quantity<R, Rep>::unit) / q;