From c758cb37e628bb17148d797c0e20623aa9349506 Mon Sep 17 00:00:00 2001
From: jvocht <joern.seaman_bp@mailbox.org>
Date: Sat, 4 Jan 2025 16:32:30 +0100
Subject: [PATCH] Add static tests for concept DimensionOf

---
 test/static/concepts_test.cpp | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/test/static/concepts_test.cpp b/test/static/concepts_test.cpp
index 154e8352..7ae6c077 100644
--- a/test/static/concepts_test.cpp
+++ b/test/static/concepts_test.cpp
@@ -82,7 +82,22 @@ static_assert(!Dimension<struct si::metre>);
 static_assert(!Dimension<int>);
 
 // DimensionOf
-// TODO add tests
+inline constexpr struct isq::dim_length tdimlength;
+inline constexpr struct isq::dim_time tdimtime;
+inline constexpr struct isq::length tlength;
+inline constexpr struct isq::time ttime;
+static_assert(DimensionOf<struct isq::dim_length, tdimlength>);
+static_assert(!DimensionOf<struct isq::dim_length, tdimtime>);
+static_assert(!DimensionOf<struct isq::dim_length, tlength>);
+static_assert(!DimensionOf<struct isq::dim_length, ttime>);
+static_assert(!DimensionOf<struct isq::dim_time, tdimlength>);
+static_assert(!DimensionOf<struct isq::dim_time, tlength>);
+static_assert(!DimensionOf<struct isq::length, tdimlength>);
+static_assert(!DimensionOf<struct isq::length, tdimtime>);
+static_assert(!DimensionOf<struct isq::length, tlength>);
+static_assert(!DimensionOf<struct isq::length, ttime>);
+static_assert(!DimensionOf<struct isq::time, tdimlength>);
+static_assert(!DimensionOf<struct isq::time, tlength>);
 
 // QuantitySpec
 inline constexpr auto speed = isq::length / isq::time;