From fd02e36976778a207fbf1eacc902c8cc6e801cb5 Mon Sep 17 00:00:00 2001 From: Hubert Tong Date: Thu, 18 Dec 2025 19:41:46 -0500 Subject: [PATCH] [stmt.pre] Streamline decl-specifier restrictions on conditions, etc. Avoid an abrupt shift from a mathematical introduction to the specification of additional normative requirements. Expresses universal quantification more directly. --- source/statements.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/statements.tex b/source/statements.tex index 8b9e733dc0..649e7c4cc1 100644 --- a/source/statements.tex +++ b/source/statements.tex @@ -147,11 +147,11 @@ it is interpreted as the latter. \pnum -Let $D$ be any \grammarterm{condition} or \grammarterm{for-range-declaration}. -In the \grammarterm{decl-specifier-seq} of $D$, +For any \grammarterm{condition} or \grammarterm{for-range-declaration} $D$, +each \grammarterm{decl-specifier} +in the \grammarterm{decl-specifier-seq} of $D$, including that of any \grammarterm{structured-binding-declaration} of $D$, -each -\grammarterm{decl-specifier} shall be either a \grammarterm{type-specifier} +shall be either a \grammarterm{type-specifier} or \keyword{constexpr}. \rSec1[stmt.label]{Label}%