[expr.const] Amend comments in example

jensmaurer · tkoeppe · commit 400521547f60 · 2023-10-08T16:49:52.000+01:00
Fixes NB JP 023 (C++23 DIS).
diff --git a/source/expressions.tex b/source/expressions.tex
@@ -7984,12 +7984,13 @@
 
 template<class T>
 constexpr T h(T t = id(x)) {    // \tcode{h<int>} is not an immediate function
+                                // \tcode{id(x)} is not evaluated when parsing the default argument\iref{dcl.fct.default,temp.inst}
     return t;
 }
 
 template<class T>
-constexpr T hh() {              // \tcode{hh<int>} is an immediate function
-  return h<T>();
+constexpr T hh() {              // \tcode{hh<int>} is an immediate function because of the invocation
+  return h<T>();                // of the immediate function \tcode{id} in the default argument of \tcode{h<int>}
 }
 
 int i = hh<int>();              // error: \tcode{hh<int>()} is an immediate-escalating expression

Original file line number	Diff line number	Diff line change
`@@ -7984,12 +7984,13 @@`
`7984`	`7984`
`7985`	`7985`	`template<class T>`
`7986`	`7986`	`constexpr T h(T t = id(x)) { // \tcode{h<int>} is not an immediate function`
	`7987`	`+ // \tcode{id(x)} is not evaluated when parsing the default argument\iref{dcl.fct.default,temp.inst}`
`7987`	`7988`	`return t;`
`7988`	`7989`	`}`
`7989`	`7990`
`7990`	`7991`	`template<class T>`
`7991`		`-constexpr T hh() { // \tcode{hh<int>} is an immediate function`
`7992`		`- return h<T>();`
	`7992`	`+constexpr T hh() { // \tcode{hh<int>} is an immediate function because of the invocation`
	`7993`	`+ return h<T>(); // of the immediate function \tcode{id} in the default argument of \tcode{h<int>}`
`7993`	`7994`	`}`
`7994`	`7995`
`7995`	`7996`	`int i = hh<int>(); // error: \tcode{hh<int>()} is an immediate-escalating expression`