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 7c7b2ce commit 048c7c6Copy full SHA for 048c7c6
source/templates.tex
@@ -4533,9 +4533,10 @@
4533
or a substatement of a constexpr if statement\iref{stmt.if} within a template
4534
and the template is not instantiated, or
4535
\item
4536
-no substitution of template arguments
4537
-into a \grammarterm{type-constraint} or \grammarterm{requires-clause}
4538
-would result in a valid expression, or
+any \grammarterm{constraint-expression} in the program, introduced or otherwise,
+has (in its normal form) an atomic constraint $A$ where
+no satisfaction check of $A$ could be well-formed and
4539
+no satisfaction check of $A$ is performed, or
4540
4541
every valid specialization of a variadic template requires an empty template
4542
parameter pack, or
0 commit comments