diff --git a/source/templates.tex b/source/templates.tex
index 0294586daa..a193c4be5d 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -2378,9 +2378,9 @@
 template<template<typename T> concept X, typename T>
 int f(S<X, T>) requires A<T> { return 42; }             // \#1
 template<template<typename T> concept X, typename T>
-int f(S<X, T>) requires X<T> { return 43; }             // \#2
+int f(S<X, T>) requires X<T> && true { return 43; }     // \#2
 
-f(S<A, int>{});                 // ok, select \#1 because \#2 is not eligible for subsumption
+f(S<A, int>{});                 // ambiguous
 \end{codeblock}
 \end{example}