This edit improves readability of the paragraph by neatly splitting the list of uses into bullets. Furthermore, some (implicit) bullets are reordered, so that statements and expressions are grouped together.

Also, the enumeration "typeid, noexcept, or decltype" is split up. This helps clarify whether a noexcept specification, or a noexcept operator is referred to. Additional forward references to the relevant sections are added.

Last but not least, the current wording for conversion to cv void is redundant. The referenced sections already state that a conversion to cv void is possible; this doesn't need to be normative wording. The references can be moved into the relevant bullet, and the redundant wording can be removed.