We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 08ef262 commit fbe7251Copy full SHA for fbe7251
source/templates.tex
@@ -1570,7 +1570,8 @@
1570
1571
template <class T> int f1(T) requires (!sad<T>);
1572
template <class T> int f1(T) requires (!sad<T>) && true;
1573
- int i1 = f1(42); // ambiguous, \tcode{!sad<T>} atomic constraint expressions are not formed from the same \grammarterm{expression}
+ int i1 = f1(42); // ambiguous, \tcode{!sad<T>} atomic constraint expressions\iref{temp.constr.atomic}
1574
+ // are not formed from the same \grammarterm{expression}
1575
1576
template <class T> concept not_sad = !sad<T>;
1577
template <class T> int f2(T) requires not_sad<T>;
0 commit comments