fix(example): constraints from creates_quantity concepts removed

This commit is contained in:
Mateusz Pusz
2023-06-16 17:17:30 +03:00
parent 5c1b1e0ff4
commit 66f0442eca

View File

@@ -74,8 +74,8 @@ static_assert(!std::constructible_from<quantity<si::metre, min_impl<double>>, mi
static_assert(!std::convertible_to<min_impl<double>, quantity<si::metre, min_impl<double>>>); static_assert(!std::convertible_to<min_impl<double>, quantity<si::metre, min_impl<double>>>);
// multiply syntax should work // multiply syntax should work
template<typename T, Unit auto U> template<typename T, auto U>
concept creates_quantity = requires { T{} * U; }; concept creates_quantity = Unit<std::remove_cvref_t<decltype(U)>> && requires { T{} * U; };
static_assert(creates_quantity<min_impl<int>, si::metre>); static_assert(creates_quantity<min_impl<int>, si::metre>);
static_assert(creates_quantity<min_impl<double>, si::metre>); static_assert(creates_quantity<min_impl<double>, si::metre>);