CWG3108 Reflection on type aliases

Author: eisenwave

source/expressions.tex

@@ -6793,9 +6793,11 @@
 a placeholder type\iref{dcl.spec.auto.general},
 $R$ is ill-formed.
 \item
-Otherwise, if the \grammarterm{type-id} names a type alias
-that is a specialization of an alias template\iref{temp.alias},
-$R$ represents that type alias.
+Otherwise, if the \grammarterm{type-id} is of the form
+\opt{\grammarterm{nested-name-specifier}} \opt{\keyword{template}} \grammarterm{simple-template-id}
+and whose terminal name is a \grammarterm{template-name}
+that names an alias template\iref{temp.alias},
+$R$ represents the type alias so named.
 \item
 Otherwise, $R$ represents the type denoted by the \grammarterm{type-id}.
 \end{itemize}