From 706bb3ef67be22dbd21acf201e4e70f1705ac197 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 5 Oct 2025 12:49:46 +0200 Subject: [PATCH] [exec.snd.expos] Amend specification for allocator-aware-forward Fixes NB US 216-357 (C++26 CD). --- source/exec.tex | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index 34d0a3ebd6..0c9fe67a43 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -2096,11 +2096,12 @@ \begin{itemdescr} \pnum -\exposid{allocator-aware-forward} is an exposition-only function used to -either create a new object of type \tcode{T} from \tcode{obj} +\exposid{allocator-aware-forward} is an exposition-only function template +used to either +create a new object of type \tcode{remove_cvref_t} from \tcode{obj} or forward \tcode{obj} depending on whether an allocator is available. If the environment associated with \tcode{context} provides an allocator -(i.e., the expression \tcode{get_allocator(get_env(context))} is valid, +(i.e., the expression \tcode{get_allocator(get_env(context))} is valid), let \exposid{alloc} be the result of this expression and let \tcode{P} be \tcode{remove_cvref_t}.