From 28bf9815db43ce7cfd4d4f121b7278244f68976f Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Tue, 30 May 2023 17:02:31 +0800 Subject: [PATCH] [expr.prim.req.nested][expr.prim.id.general] Say the normal form ... of the constraint-expression instead the constraint-expression itself. --- source/expressions.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 381250b8f8..0215e8821e 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -1488,8 +1488,8 @@ to select a unique function\iref{over.match,over.over}. \begin{note} A program cannot refer to a function -with a trailing \grammarterm{requires-clause} -whose \grammarterm{constraint-expression} is not satisfied, +with a trailing \grammarterm{requires-clause} if the normal form of +its \grammarterm{constraint-expression} is not satisfied, because such functions are never selected by overload resolution. \begin{example} \begin{codeblock} @@ -3494,7 +3494,7 @@ \pnum A \grammarterm{nested-requirement} can be used to specify additional constraints in terms of local parameters. -The \grammarterm{constraint-expression} +The normal form\iref{temp.constr.normal} of the \grammarterm{constraint-expression} shall be satisfied\iref{temp.constr.decl} by the substituted template arguments, if any. Substitution of template arguments into a \grammarterm{nested-requirement}