mirror of
https://github.com/mpusz/mp-units.git
synced 2025-08-03 20:34:26 +02:00
fix: ValuePreservingTo
fixed to apply std::remove_cvref_t
on FromRep
This commit is contained in:
@@ -63,9 +63,11 @@ template<typename T>
|
|||||||
concept IsFloatingPoint = treat_as_floating_point<T>;
|
concept IsFloatingPoint = treat_as_floating_point<T>;
|
||||||
|
|
||||||
template<typename FromRep, typename ToRep, auto FromUnit = one, auto ToUnit = one>
|
template<typename FromRep, typename ToRep, auto FromUnit = one, auto ToUnit = one>
|
||||||
concept ValuePreservingTo = requires(FromRep&& from, ToRep to) {
|
concept ValuePreservingTo =
|
||||||
|
requires(FromRep&& from, ToRep to) {
|
||||||
{ to = std::forward<FromRep>(from) } -> std::same_as<ToRep&>;
|
{ to = std::forward<FromRep>(from) } -> std::same_as<ToRep&>;
|
||||||
} && (IsFloatingPoint<ToRep> || (!IsFloatingPoint<FromRep> && (integral_conversion_factor(FromUnit, ToUnit))));
|
} && (IsFloatingPoint<ToRep> ||
|
||||||
|
(!IsFloatingPoint<std::remove_cvref_t<FromRep>> && (integral_conversion_factor(FromUnit, ToUnit))));
|
||||||
|
|
||||||
template<typename QFrom, typename QTo>
|
template<typename QFrom, typename QTo>
|
||||||
concept QuantityConvertibleTo =
|
concept QuantityConvertibleTo =
|
||||||
|
Reference in New Issue
Block a user