From 034d44eb3f260c09e620711530eaf169c617e8c6 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Tue, 13 Jun 2023 17:35:43 +0300
Subject: [PATCH] test: more concept tests added for dimensionless quantities

---
 test/unit_test/static/concepts_test.cpp | 36 +++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

diff --git a/test/unit_test/static/concepts_test.cpp b/test/unit_test/static/concepts_test.cpp
index 87b394dd..a7b0a6da 100644
--- a/test/unit_test/static/concepts_test.cpp
+++ b/test/unit_test/static/concepts_test.cpp
@@ -274,6 +274,24 @@ static_assert(!ReferenceOf<struct si::second, isq::dim_length>);
 static_assert(ReferenceOf<std::remove_const_t<decltype(isq::length[si::metre])>, isq::dim_length>);
 static_assert(ReferenceOf<std::remove_const_t<decltype(isq::radius[si::metre])>, isq::dim_length>);
 
+static_assert(ReferenceOf<struct one, dimensionless>);
+static_assert(ReferenceOf<struct one, dimension_one>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(dimensionless[one])>, dimensionless>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(dimensionless[one])>, dimension_one>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(isq::rotation[one])>, isq::rotation>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(isq::rotation[one])>, dimensionless>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(isq::rotation[one])>, dimension_one>);
+static_assert(ReferenceOf<struct si::radian, isq::angular_measure>);
+static_assert(!ReferenceOf<struct si::radian, dimensionless>);
+static_assert(ReferenceOf<struct si::radian, dimension_one>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(isq::angular_measure[si::radian])>, isq::angular_measure>);
+static_assert(!ReferenceOf<std::remove_const_t<decltype(isq::angular_measure[si::radian])>, dimensionless>);
+static_assert(ReferenceOf<std::remove_const_t<decltype(isq::angular_measure[si::radian])>, dimension_one>);
+static_assert(ReferenceOf<struct one, isq::rotation>);
+static_assert(ReferenceOf<struct one, isq::angular_measure>);
+static_assert(!ReferenceOf<std::remove_const_t<decltype(dimensionless[one])>, isq::rotation>);
+static_assert(!ReferenceOf<std::remove_const_t<decltype(dimensionless[one])>, isq::angular_measure>);
+
 // Representation
 static_assert(Representation<int>);
 static_assert(Representation<double>);
@@ -314,6 +332,24 @@ static_assert(!QuantityOf<quantity<si::second>, isq::dim_length>);
 static_assert(QuantityOf<quantity<isq::length[si::metre]>, isq::dim_length>);
 static_assert(QuantityOf<quantity<isq::radius[si::metre]>, isq::dim_length>);
 
+static_assert(QuantityOf<quantity<one>, dimensionless>);
+static_assert(QuantityOf<quantity<one>, dimension_one>);
+static_assert(QuantityOf<quantity<dimensionless[one]>, dimensionless>);
+static_assert(QuantityOf<quantity<dimensionless[one]>, dimension_one>);
+static_assert(QuantityOf<quantity<isq::rotation[one]>, isq::rotation>);
+static_assert(QuantityOf<quantity<isq::rotation[one]>, dimensionless>);
+static_assert(QuantityOf<quantity<isq::rotation[one]>, dimension_one>);
+static_assert(QuantityOf<quantity<si::radian>, isq::angular_measure>);
+static_assert(!QuantityOf<quantity<si::radian>, dimensionless>);
+static_assert(QuantityOf<quantity<si::radian>, dimension_one>);
+static_assert(QuantityOf<quantity<isq::angular_measure[si::radian]>, isq::angular_measure>);
+static_assert(!QuantityOf<quantity<isq::angular_measure[si::radian]>, dimensionless>);
+static_assert(QuantityOf<quantity<isq::angular_measure[si::radian]>, dimension_one>);
+static_assert(QuantityOf<quantity<one>, isq::rotation>);
+static_assert(QuantityOf<quantity<one>, isq::angular_measure>);
+static_assert(!QuantityOf<quantity<dimensionless[one]>, isq::rotation>);
+static_assert(!QuantityOf<quantity<dimensionless[one]>, isq::angular_measure>);
+
 // QuantityLike
 static_assert(QuantityLike<std::chrono::seconds>);
 static_assert(QuantityLike<std::chrono::hours>);