From 3f4da000663f14990c2cd018045b3d2002db0f12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= Date: Mon, 8 Jun 2026 14:46:17 +0200 Subject: [PATCH] [expr.const.i{nit,mm}] Add xrefs for "manifestly constant-evaluated" After the "constant expressions" reorganisation the definition is now in a different subclause. --- source/expressions.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index eec3be900e..72f77d87bb 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -9143,7 +9143,7 @@ has the value \keyword{true}. \end{note} \begin{note} -Furthermore, if the initialization is manifestly constant-evaluated, +Furthermore, if the initialization is manifestly constant-evaluated\iref{expr.const.defns}, its evaluation during translation can still evaluate contract assertions with other evaluation semantics, @@ -9254,7 +9254,7 @@ a function parameter scope of an immediate function, \item it is a subexpression of a manifestly constant-evaluated expression -or conversion, or +or conversion\iref{expr.const.defns}, or \item its enclosing statement is enclosed\iref{stmt.pre} by the \grammarterm{compound-statement} of a consteval if statement\iref{stmt.if}.