[basic.fundamental] Itemize uses of void expressions

source/basic.tex

@@ -5165,17 +5165,21 @@
 A type \cv{}~\keyword{void}
 is an incomplete type that cannot be completed; such a type has
 an empty set of values. It is used as the return
-type for functions that do not return a value. Any expression can be
-explicitly converted to type
-\cv{}~\keyword{void}\iref{expr.type.conv,expr.static.cast,expr.cast}.
+type for functions that do not return a value.
 An expression of type \cv{}~\keyword{void} shall
-be used only as an expression statement\iref{stmt.expr}, as an operand
-of a comma expression\iref{expr.comma}, as a second or third operand
-of \tcode{?:}\iref{expr.cond}, as the operand of
-\keyword{typeid}, \keyword{noexcept}, or \keyword{decltype}, as
-the expression in a \keyword{return} statement\iref{stmt.return} for a function
-with the return type \cv{}~\keyword{void}, or as the operand of an explicit conversion
-to type \cv{}~\keyword{void}.
+be used only as
+\begin{itemize}
+\item an expression statement\iref{stmt.expr},
+\item the expression in a \keyword{return} statement\iref{stmt.return}
+for a function with the return type \cv{}~\keyword{void},
+\item an operand of a comma expression\iref{expr.comma},
+\item the second or third operand of \tcode{?:}\iref{expr.cond},
+\item the operand of a \keyword{typeid} expression\iref{expr.typeid},
+\item the operand of a \keyword{noexcept} operator\iref{expr.unary.noexcept},
+\item the operand of a \keyword{decltype} specifier\iref{dcl.type.decltype}, or
+\item the operand of an explicit conversion to type
+\cv{}~\keyword{void}\iref{expr.type.conv,expr.static.cast,expr.cast}.
+\end{itemize}
 
 \pnum
 A value of type \tcode{std::nullptr_t} is a null pointer