From 41bba23774df916c9220a2a8eb641aacdb1fc9ef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= Date: Fri, 12 Jan 2024 15:10:31 +0000 Subject: [PATCH] Fixup from previous suggestion --- source/templates.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/source/templates.tex b/source/templates.tex index f89a811364..cc5c85b060 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -7751,8 +7751,9 @@ \grammarterm{template-parameter} is not used in any of the function parameters of a function template, or is used only in a non-deduced context, then it is not possible for its corresponding -\grammarterm{template-argument} to be deduced from a function call, and the -function template can only be used if the \grammarterm{template-argument} is specified explicitly. +\grammarterm{template-argument} to be deduced from a function call, and +thus the program is ill-formed +unless the \grammarterm{template-argument} is explicitly specified. \end{note} \pnum