CWG2517 Useless restriction on use of parameter in constraint-expression

source/expressions.tex

@@ -3055,18 +3055,6 @@
 \end{codeblock}
 \tcode{D<T>} is satisfied if \tcode{sizeof(decltype (+t)) == 1}\iref{temp.constr.atomic}.
 \end{example}
-
-\pnum
-A local parameter shall only appear as an unevaluated operand\iref{term.unevaluated.operand}
-within the \grammarterm{constraint-expression}.
-\begin{example}
-\begin{codeblock}
-template<typename T> concept C = requires (T a) {
-  requires sizeof(a) == 4;      // OK
-  requires a == 0;              // error: evaluation of a constraint variable
-};
-\end{codeblock}
-\end{example}
 \indextext{expression!requires|)}
 \indextext{expression!primary|)}