[expr,class,temp] Remove vestigious references

to pseudo-destructor-name and the removed section [expr.pseudo].

Author: jensmaurer

source/basic.tex

@@ -1776,19 +1776,13 @@
 of that enumeration.
 
 \pnum
-If a \grammarterm{pseudo-destructor-name}\iref{expr.pseudo} contains a
-\grammarterm{nested-name-specifier}, the \grammarterm{type-name}{s} are looked
-up as types in the scope designated by the
-\grammarterm{nested-name-specifier}. Similarly, in a
-\grammarterm{qualified-id} of the form:
+In a \grammarterm{qualified-id} of the form:
 
 \begin{ncbnf}
-\opt{nested-name-specifier} class-name \terminal{::} \terminal{\~} class-name
+\opt{nested-name-specifier} type-name \terminal{::} \terminal{\~} type-name
 \end{ncbnf}
-
-the second \grammarterm{class-name} is looked up in the same scope as the
-first. \begin{example}
-
+the second \grammarterm{type-name} is looked up in the same scope as the first.
+\begin{example}
 \begin{codeblock}
 struct C {
   typedef int I;
@@ -1808,8 +1802,10 @@
   p->AB::~AB();     // explicitly calls the destructor for \tcode{A}
 }
 \end{codeblock}
-\end{example} \begin{note} \ref{basic.lookup.classref} describes how name
-lookup proceeds after the \tcode{.} and \tcode{->} operators. \end{note}
+\end{example}
+\begin{note} \ref{basic.lookup.classref} describes how name
+lookup proceeds after the \tcode{.} and \tcode{->} operators.
+\end{note}
 
 \rSec3[class.qual]{Class members}
 

source/classes.tex

@@ -2384,7 +2384,7 @@
 \begin{note}
 \indextext{fundamental type!destructor and}%
 The notation for explicit call of a destructor can be used for any scalar type
-name\iref{expr.pseudo}.
+name\iref{expr.prim.id.dtor}.
 Allowing this makes it possible to write code without having to know if a
 destructor exists for a given type.
 For example:

source/declarations.tex

@@ -1529,7 +1529,7 @@
 \grammarterm{simple-type-specifier} introduces
 its \grammarterm{type-name}\iref{dcl.type.simple}.
 If the \grammarterm{identifier} or \grammarterm{simple-template-id} resolves to a
-\grammarterm{typedef-name} (\ref{dcl.typename} \ref{temp.names}),
+\grammarterm{typedef-name} (\ref{dcl.typedef}, \ref{temp.names}),
 the \grammarterm{elaborated-type-specifier} is ill-formed.
 \begin{note}
 This implies that, within a class template with a template

source/expressions.tex

@@ -6644,7 +6644,7 @@
 a \tcode{reinterpret_cast}\iref{expr.reinterpret.cast};
 
 \item
-a pseudo-destructor call\iref{expr.pseudo};
+a pseudo-destructor call\iref{expr.prim.id.dtor};
 
 \item
 modification of an object~(\ref{expr.ass}, \ref{expr.post.incr},

source/iterators.tex

@@ -230,7 +230,7 @@
 if all operations provided to meet iterator category requirements
 are constexpr functions, except for
 \begin{itemize}
-\item a pseudo-destructor call\iref{expr.pseudo}, and
+\item a pseudo-destructor call\iref{expr.prim.id.dtor}, and
 \item the construction of an iterator with a singular value.
 \end{itemize}
 \begin{note}

source/overloading.tex

@@ -3412,7 +3412,6 @@
 
 \begin{ncsimplebnf}
 postfix-expression \terminal{->} \terminal{\opt{template}} id-expression\\
-postfix-expression \terminal{->} pseudo-destructor-name
 \end{ncsimplebnf}
 
 An expression

source/templates.tex

@@ -5213,8 +5213,6 @@
 
 \begin{ncsimplebnf}
 literal\br
-postfix-expression \terminal{.} pseudo-destructor-name\br
-postfix-expression \terminal{->} pseudo-destructor-name\br
 \terminal{sizeof} unary-expression\br
 \terminal{sizeof (} type-id \terminal{)}\br
 \terminal{sizeof} \terminal{...} \terminal{(} identifier \terminal{)}\br