LWG4442 Clarify expr and fn for meta::reflect_object and meta::reflect_function

Author: burblebee

source/meta.tex

@@ -6419,9 +6419,11 @@
 
 \pnum
 \throws
-\tcode{meta::exception} unless
-\tcode{expr} is suitable for use as a constant template argument
-for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype}.
+\tcode{meta::exception} if
+\tcode{E} is not suitable for use as a constant template argument
+for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype},
+where \tcode{E} is an lvalue constant expression that
+computes the object that \tcode{expr} refers to.
 \end{itemdescr}
 
 \indexlibraryglobal{reflect_function}%
@@ -6441,9 +6443,11 @@
 
 \pnum
 \throws
-\tcode{meta::exception} unless
-\tcode{fn} is suitable for use as a constant template argument
-for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype}.
+\tcode{meta::exception} if
+\tcode{F} is not suitable for use as a constant template argument
+for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype},
+where \tcode{F} is an lvalue constant expression that
+computes the function that \tcode{fn} refers to.
 \end{itemdescr}
 
 \rSec2[meta.reflection.define.aggregate]{Reflection class definition generation}