[basic.lookup.unqual] Add examples for conversion-function-ids

Author: jensmaurer

source/basic.tex

@@ -1752,6 +1752,33 @@
 If that lookup finds nothing, it undergoes unqualified name lookup;
 in each case, only names
 that denote types or templates whose specializations are types are considered.
+\begin{example}
+\begin{codeblock}
+struct T1 { struct U { int i; }; };
+struct T2 { };
+struct U1 {};
+struct U2 {};
+
+struct B {
+  using T = T1;
+  using U = U1;
+  operator U1 T1::*();
+  operator U1 T2::*();
+  operator U2 T1::*();
+  operator U2 T2::*();
+};
+
+template<class X, class T>
+int g() {
+  using U = U2;
+  X().operator U T::*();                // \#1, searches for \tcode{T} in the scope of \tcode{X} first
+  X().operator U decltype(T())::*();    // \#2
+  return 0;
+}
+int x = g<B, T2>();                     // \#1 calls \tcode{B::operator U1 T1::*}
+                                        // \#2 calls \tcode{B::operator U1 T2::*}
+\end{codeblock}
+\end{example}
 
 \pnum
 In a friend declaration \grammarterm{declarator}