removed superfluous requires statement in is_quantity<T>

This commit is contained in:
Ralph J. Steinhagen
2021-06-29 17:33:17 +02:00
committed by Mateusz Pusz
parent 8e1539bf22
commit 7ed29807a6

View File

@ -461,14 +461,7 @@ template<typename D, typename U, typename Rep>
inline constexpr bool is_quantity<quantity<D, U, Rep>> = true;
template<typename T>
requires units::is_derived_from_specialization_of<T, units::quantity> &&
requires {
typename T::dimension;
typename T::unit;
typename T::rep;
requires Dimension<typename T::dimension>;
requires Unit<typename T::unit>;
requires Representation<typename T::rep>; }
requires units::is_derived_from_specialization_of<T, units::quantity>
inline constexpr bool is_quantity<T> = true;
} // namespace detail