Fixup: overloading

Author: jensmaurer

source/overloading.tex

@@ -268,9 +268,13 @@
 Each such case also defines sets of \defnadj{permissible}{types}
 for explicit and non-explicit conversion functions;
 each (non-template) conversion function
-that is a non-hidden member of \tcode{S},
-yields a permissible type, and,
-for the former set, is non-explicit is also a candidate function.
+that
+\begin{itemize}
+\item is a non-hidden member of \tcode{S},
+\item yields a permissible type, and,
+\item for the former set, is non-explicit
+\end{itemize}
+is also a candidate function.
 If initializing an object, for any permissible type \cv{} \tcode{U}, any
 \cvqual{cv2} \tcode{U}, \cvqual{cv2} \tcode{U\&}, or \cvqual{cv2} \tcode{U\&\&}
 is also a permissible type.
@@ -452,14 +456,13 @@
 \grammarterm{expression-list}
 in the call augmented by the addition of an implied object
 argument as in a qualified function call.
-If the current class is, or is derived, from \tcode{T} and the keyword
+If the current class is, or is derived from, \tcode{T}, and the keyword
 \tcode{this}\iref{expr.prim.this} refers to it,
 then the implied object argument is \tcode{(*this)}.
 Otherwise,
 a contrived object of type
 \tcode{T}
-becomes the implied object
-argument.
+becomes the implied object argument
 \begin{footnote}
 An implied object argument is contrived to
 correspond to the implicit object
@@ -1029,11 +1032,16 @@
 the candidate functions are selected as follows:
 \begin{itemize}
 \item
-Let $R$ be a set of types including ``lvalue reference to \cvqual{cv2} \tcode{T2}''
+Let $R$ be a set of types including
+\begin{itemize}
+\item
+``lvalue reference to \cvqual{cv2} \tcode{T2}''
 (when initializing an lvalue reference or an rvalue reference to function) and
+\item
 ``\cvqual{cv2} \tcode{T2}''
-or ``rvalue reference to \cvqual{cv2} \tcode{T2}'' (when initializing an
+and ``rvalue reference to \cvqual{cv2} \tcode{T2}'' (when initializing an
 rvalue reference or an lvalue reference to function)
+\end{itemize}
 for any \tcode{T2}.
 The permissible types for non-explicit conversion functions are
 the members of $R$