feedc0de/mp-units
1
0
Fork 0
forked from mpusz/mp-units
Code Pull Requests Activity

refactor: Small cleanup after @johelegp code review

Browse Source
This commit is contained in:
Mateusz Pusz
2020-10-08 08:54:30 +02:00
parent d64d26a4c4
commit 8b15826c65
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/include/units/bits/basic_concepts.h
View File

@@ -246,7 +246,7 @@ concept QuantityLike = requires(T q) {
// QuantityValue // QuantityValue
template<typename T, typename U> template<typename T, typename U>
concept common_type_with_ = concept common_type_with_ = // exposition only
std::same_as<std::common_type_t<T, U>, std::common_type_t<U, T>> && std::same_as<std::common_type_t<T, U>, std::common_type_t<U, T>> &&
std::constructible_from<std::common_type_t<T, U>, T> && std::constructible_from<std::common_type_t<T, U>, T> &&
std::constructible_from<std::common_type_t<T, U>, U>; std::constructible_from<std::common_type_t<T, U>, U>;
@@ -266,10 +266,10 @@ concept scalable_ = // exposition only
castable_number_<T> || castable_number_<T> ||
(requires { typename T::value_type; } && castable_number_<typename T::value_type> && scalable_number_<T, std::common_type_t<typename T::value_type, std::intmax_t>>); (requires { typename T::value_type; } && castable_number_<typename T::value_type> && scalable_number_<T, std::common_type_t<typename T::value_type, std::intmax_t>>);
template<typename From, typename To> template<typename T, typename U>
concept scalable_with_ = // exposition only concept scalable_with_ = // exposition only
common_type_with_<From, To> && common_type_with_<T, U> &&
scalable_<std::common_type_t<From, To>>; scalable_<std::common_type_t<T, U>>;
// WrappedQuantity // WrappedQuantity
namespace detail { namespace detail {