From 5e657bac702a0d0e97a6d12f45e2c142dd75c9cc Mon Sep 17 00:00:00 2001
From: Jonas Hoppe <162709928+czjhoppe@users.noreply.github.com>
Date: Fri, 30 Aug 2024 13:26:38 +0200
Subject: [PATCH] [msvc][fix] msvc complains about requires expression (no
 common type found) replace with concept has_common_type

---
 src/core/include/mp-units/bits/sudo_cast.h | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/core/include/mp-units/bits/sudo_cast.h b/src/core/include/mp-units/bits/sudo_cast.h
index fd7a9973..0db70246 100644
--- a/src/core/include/mp-units/bits/sudo_cast.h
+++ b/src/core/include/mp-units/bits/sudo_cast.h
@@ -30,11 +30,22 @@
 
 namespace mp_units::detail {
 
+template <typename AlwaysVoid, typename... Ts>
+struct has_common_type_impl : std::false_type {};
+
+template <typename... Ts>
+struct has_common_type_impl<std::void_t<std::common_type_t<Ts...>>, Ts...> : std::true_type {};
+
+template <typename... Ts>
+using has_common_type = typename has_common_type_impl<void, Ts...>::type;
+
+template <typename... Ts> constexpr bool has_common_type_v = has_common_type_impl<void, Ts...>::value;
+
 template<typename T, typename Other>
 struct get_common_type : std::common_type<T, Other> {};
 
 template<typename T, typename Other>
-using maybe_common_type = MP_UNITS_TYPENAME std::conditional_t<requires { typename std::common_type_t<T, Other>; },
+using maybe_common_type = MP_UNITS_TYPENAME std::conditional_t<has_common_type_v<T, Other>,
                                                                get_common_type<T, Other>, std::type_identity<T>>::type;
 
 /**