[temp.constr.order] Fix example

Author: lprv

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}