FIXUP P2582R1: Fix formatting errors, move misplaced \item

Author: burblebee

source/overloading.tex

@@ -1295,7 +1295,7 @@
 whose template parameter list is that of \tcode{A} and
 whose template argument list is a specialization of \tcode{A} with
 the template argument list of \tcode{A}\iref{temp.dep.type}
-having a member typedef type designating a template specialization with
+having a member typedef \tcode{type} designating a template specialization with
 the template argument list of \tcode{A} but
 with \tcode{C} as the template.
 \begin{note}
@@ -1316,16 +1316,16 @@
 };
 template <typename T> struct D : public B<T> {};
 
-C c(42);            // OK, \tcode{deduces C<int>}
-D d(42);            // Error: deduction failed, no inherited deduction guides
+C c(42);            // OK, deduces \tcode{C<int>}
+D d(42);            // error: deduction failed, no inherited deduction guides
 B(int) -> B<char>;
 C c2(42);           // OK, deduces \tcode{C<char>}
 
 template <typename T> struct E : public B<int> {
   using B<int>::B;
 };
 
-E e(42);            // Error: deduction failed, arguments of \tcode{E} cannot be deduced from guides introduced
+E e(42);            // error: deduction failed, arguments of \tcode{E} cannot be deduced from guides introduced
 
 template <typename T, typename U, typename V> struct F {
   F(T, U, V);
@@ -1805,18 +1805,6 @@
 \end{example}
 or, if not that,
 
-\item
-\tcode{F1} and \tcode{F2} are generated
-from class template argument deduction\iref{over.match.class.deduct}
-for a class \tcode{D}, and
-\tcode{F2} is generated
-from inheriting constructors from a base class of \tcode{D}
-while \tcode{F1} is not, and
-for each explicit function argument,
-the corresponding parameters of \tcode{F1} and \tcode{F2}
-are either both ellipses or have the same type,
-or, if not that,
-
 \item
 \tcode{F1} and \tcode{F2} are rewritten candidates, and
 \tcode{F2} is a synthesized candidate
@@ -1833,6 +1821,18 @@
 \end{example}
 or, if not that
 
+\item
+\tcode{F1} and \tcode{F2} are generated
+from class template argument deduction\iref{over.match.class.deduct}
+for a class \tcode{D}, and
+\tcode{F2} is generated
+from inheriting constructors from a base class of \tcode{D}
+while \tcode{F1} is not, and
+for each explicit function argument,
+the corresponding parameters of \tcode{F1} and \tcode{F2}
+are either both ellipses or have the same type,
+or, if not that,
+
 \item
 \tcode{F1} is generated from a
 \grammarterm{deduction-guide}\iref{over.match.class.deduct}