Skip to content

Commit ca3cb94

Browse files
committed
[expr.prim.req] Remove redundant note that repeats what the prior example just said.
1 parent 763a125 commit ca3cb94

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

source/expressions.tex

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1576,17 +1576,6 @@
15761576
\grammarterm{requires-clause}, and the second
15771577
introduces the \grammarterm{requires-expression}.
15781578
\end{example}
1579-
\begin{note}
1580-
Such requirements can also be written by defining them within
1581-
a concept.
1582-
\begin{codeblock}
1583-
template<typename T>
1584-
concept C = requires (T x) { x + x; };
1585-
1586-
template<typename T> requires C<T>
1587-
T add(T a, T b) { return a + b; }
1588-
\end{codeblock}
1589-
\end{note}
15901579

15911580
\pnum
15921581
A \grammarterm{requires-expression} may introduce local parameters using a

0 commit comments

Comments
 (0)