source/expressions.tex

@@ -2648,11 +2648,11 @@
 the \grammarterm{template-argument-list}
 comprising the concept's subsequent arguments.
 \begin{note}
-Thus, constraints of the form
+Thus, requirements of the form
 \tcode{\{ E \} -> Concept;} or of the form
 \tcode{\{ E \} -> Concept<>;} are equivalent to
 \tcode{E; requires Concept<decltype((E))>;}
-while a constraint of the form
+while a requirements of the form
 \tcode{\{ E \} -> Concept<A$_1$, A$_2$, $\cdots$, A$_n$>;} is equivalent to
 \tcode{E; requires Concept<decltype((E)), A$_1$, A$_2$, $\cdots$, A$_n$>;}.
 \end{note}