From 1d689b01e47d24809b30da0d2ad00443baef1e2e Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Thu, 6 Jun 2024 13:20:46 +0200
Subject: [PATCH] refactor: :boom: `Unit<T>` concept now requires `T` to be
 marked `final`

---
 src/core/include/mp-units/framework/unit_concepts.h | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/src/core/include/mp-units/framework/unit_concepts.h b/src/core/include/mp-units/framework/unit_concepts.h
index 75a143e6..94e430d0 100644
--- a/src/core/include/mp-units/framework/unit_concepts.h
+++ b/src/core/include/mp-units/framework/unit_concepts.h
@@ -137,14 +137,7 @@ void is_unit_impl(const derived_unit<Expr...>*);
 void is_unit_impl(const one*);
 
 template<typename T>
-inline constexpr bool is_specialization_of_prefixed_unit = false;
-
-template<symbol_text Symbol, Magnitude auto M, PrefixableUnit auto U>
-inline constexpr bool is_specialization_of_prefixed_unit<prefixed_unit<Symbol, M, U>> = true;
-
-template<typename T>
-  requires requires(T* t) { is_unit_impl(t); } && (!is_specialization_of_named_unit<T>) &&
-             (!is_specialization_of_prefixed_unit<T>)
+  requires requires(T* t) { is_unit_impl(t); } && std::is_final_v<T>
 inline constexpr bool is_unit<T> = true;
 
 template<Unit U>