From 0e2bba10f13da652aff20d7970e09724b36bdd23 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 27 Mar 2025 11:26:51 +0000
Subject: [PATCH] [temp.constr.order] Fix example
---
source/templates.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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}