diff --git a/source/overloading.tex b/source/overloading.tex
index d49ef098cb..d25bf7febf 100644
--- a/source/overloading.tex
+++ b/source/overloading.tex
@@ -3325,12 +3325,16 @@
 \begin{example}
 \begin{codeblock}
 template<bool B> struct X {
+  void e(int) requires B;       // \#1
+  void e(int);
   void f(short) requires B;
   void f(long);
   template<typename> void g(short) requires B;
   template<typename> void g(long);
 };
 void test() {
+  auto ep = &X<true>::e;        // OK, placeholder type deduction succeeds,
+                                // then selects \#1 as more partial-ordering-constrained
   &X<true>::f;                  // error: ambiguous; constraints are not considered
   &X<true>::g<int>;             // error: ambiguous; constraints are not considered
 }