From bc039dd08738574b913a9b5e10572a3238275c47 Mon Sep 17 00:00:00 2001
From: Hewill Kang <hewillk@gmail.com>
Date: Thu, 27 Aug 2026 01:13:46 +0800
Subject: [PATCH] [tuple.apply] Remove unnecessary std namespace

I mean, for an exposition-only function template, do we really need to specifically specify that it exists under the namespace std? I think it's unnecessary, and it seems we haven't done this elsewhere.
---
 source/utilities.tex | 20 ++++++++------------
 1 file changed, 8 insertions(+), 12 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 0c500de28d..a4b767dce7 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -2991,12 +2991,10 @@
 \effects
 Given the exposition-only function template:
 \begin{codeblock}
-namespace std {
-  template<class F, @\exposconcept{tuple-like}@ Tuple, size_t... I>
-  constexpr decltype(auto) @\placeholdernc{apply-impl}@(F&& f, Tuple&& t, index_sequence<I...>) {
-                                                                        // \expos
-    return @\placeholdernc{INVOKE}@(std::forward<F>(f), get<I>(std::forward<Tuple>(t))...);     // see \ref{func.require}
-  }
+template<class F, @\exposconcept{tuple-like}@ Tuple, size_t... I>
+constexpr decltype(auto) @\placeholdernc{apply-impl}@(F&& f, Tuple&& t, index_sequence<I...>) {
+                                                                      // \expos
+  return @\placeholdernc{INVOKE}@(std::forward<F>(f), get<I>(std::forward<Tuple>(t))...);     // see \ref{func.require}
 }
 \end{codeblock}
 Equivalent to:
@@ -3024,12 +3022,10 @@
 \effects
 Given the exposition-only function template:
 \begin{codeblock}
-namespace std {
-  template<class T, @\exposconcept{tuple-like}@ Tuple, size_t... I>
-    requires is_constructible_v<T, decltype(get<I>(declval<Tuple>()))...>
-  constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) {   // \expos
-    return T(get<I>(std::forward<Tuple>(t))...);
-  }
+template<class T, @\exposconcept{tuple-like}@ Tuple, size_t... I>
+  requires is_constructible_v<T, decltype(get<I>(declval<Tuple>()))...>
+constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) {   // \expos
+  return T(get<I>(std::forward<Tuple>(t))...);
 }
 \end{codeblock}
 Equivalent to: