From fbd3369ee2e4cdbd448c8e7d74d238ade35b11f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Tue, 29 Oct 2024 12:49:28 -0400
Subject: [PATCH] [qty.common.type] Inline *`require-clause`*s

---
 docs/api_reference/src/quantities.tex | 24 ++++++------------------
 1 file changed, 6 insertions(+), 18 deletions(-)

diff --git a/docs/api_reference/src/quantities.tex b/docs/api_reference/src/quantities.tex
index 8c66ae814..58462af73 100644
--- a/docs/api_reference/src/quantities.tex
+++ b/docs/api_reference/src/quantities.tex
@@ -3885,7 +3885,10 @@
 \indexlibraryglobal{std::common_type}
 \begin{codeblock}
 template<mp_units::@\libconcept{Quantity}@ Q1, mp_units::@\libconcept{Quantity}@ Q2>
-  requires @\seebelownc@
+  requires requires {
+    { mp_units::get_common_reference(Q1::reference, Q2::reference) } -> mp_units::Reference;
+    typename std::common_type_t<typename Q1::rep, typename Q2::rep>;
+  }
 struct std::common_type<Q1, Q2> {
   using type = mp_units::quantity<mp_units::get_common_reference(Q1::reference, Q2::reference),
                                   std::common_type_t<typename Q1::rep, typename Q2::rep>>;
@@ -3893,28 +3896,13 @@
 
 template<mp_units::@\libconcept{Quantity}@ Q,
          mp_units::@\libconcept{RepresentationOf}@<mp_units::quantity_character::scalar> Value>
-  requires @\seebelownc@
+  requires(Q::unit == mp_units::one) &&
+          requires { typename std::common_type_t<typename Q::rep, Value>; }
 struct std::common_type<Q, Value> {
   using type = mp_units::quantity<Q::reference, std::common_type_t<typename Q::rep, Value>>;
 };
 \end{codeblock}
 
-\pnum
-\remarks
-For the first specialization,
-the expression in the \fakegrammarterm{requires-clause} is equivalent to:
-\begin{codeblock}
-requires {
-  { mp_units::get_common_reference(Q1::reference, Q2::reference) } -> mp_units::@\libconcept{Reference}@;
-  typename std::common_type_t<typename Q1::rep, typename Q2::rep>;
-}
-\end{codeblock}
-For the second specialization,
-the expression in the \fakegrammarterm{requires-clause} is equivalent to:
-\begin{codeblock}
-(Q::unit == mp_units::one) && requires { typename std::common_type_t<typename Q::rep, Value>; }
-\end{codeblock}
-
 \rSec2[qty.pt.concepts]{Quantity point concepts}
 
 \begin{itemdecl}