From 17326e2206c2f801eeaa65e95bae48ee1ee31fc2 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Sat, 20 Nov 2021 10:40:52 +0100
Subject: [PATCH] [expr.prim.req.nested] Fix restriction on local parameters

---
 source/expressions.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/expressions.tex b/source/expressions.tex
index dd24afa83e..8c7f31b831 100644
--- a/source/expressions.tex
+++ b/source/expressions.tex
@@ -2957,8 +2957,8 @@
 \end{example}
 
 \pnum
-A local parameter shall only appear as an unevaluated operand\iref{term.unevaluated.operand}
-within the \grammarterm{constraint-expression}.
+An \grammarterm{id-expression} naming a local parameter
+shall not be potentially evaluated\iref{basic.def.odr}.
 \begin{example}
 \begin{codeblock}
 template<typename T> concept C = requires (T a) {