CWG2806 Make a type-requirement a type-only context

Author: burblebee

source/expressions.tex

@@ -2942,6 +2942,8 @@
 
 \pnum
 A \grammarterm{type-requirement} asserts the validity of a type.
+The component names of a \grammarterm{type-requirement} are those of its
+\grammarterm{nested-name-specifier} (if any) and \grammarterm{type-name}.
 \begin{note}
 The enclosing \grammarterm{requires-expression} will evaluate to \keyword{false}
 if substitution of template arguments fails.

source/templates.tex

@@ -4355,6 +4355,7 @@
 \begin{itemize}
 \item a
 \grammarterm{typename-specifier},
+\grammarterm{type-requirement},
 \grammarterm{nested-name-specifier},
 \grammarterm{elaborated-type-specifier},
 \grammarterm{class-or-decltype}, or