LWG3819 reference_meows_from_temporary should not use is_meowible

Author: burblebee

source/meta.tex

@@ -1217,19 +1217,46 @@
 \indexlibraryglobal{reference_constructs_from_temporary}%
 \tcode{template<class T, class U>}\br
   \tcode{struct reference_constructs_from_temporary;} &
-  \tcode{conjunction_v<is_reference<T>, is_constructible<T, U>>}
-  is \tcode{true}, and
-  the initialization \tcode{T t(\exposidnc{VAL}<U>);} binds \tcode{t} to
-  a temporary object whose lifetime is extended\iref{class.temporary}. &
+  \tcode{T} is a reference type, and
+  the initialization \tcode{T t(\exposidnc{VAL}<U>);} is
+  well-formed and binds \tcode{t} to
+  a temporary object whose lifetime is extended\iref{class.temporary}.
+  Access checking is performed as if in
+  a context unrelated to \tcode{T} and \tcode{U}.
+  Only the validity of the immediate context of
+  the variable initialization is considered.
+  \begin{tailnote}
+  The initialization can result in effects such as
+  the instantiation of class template specializations and
+  function template specializations,
+  the generation of implicitly-defined functions, and so on.
+  Such effects are not in the ``immediate context'' and
+  can result in the program being ill-formed.
+  \end{tailnote}
+&
   \tcode{T} and \tcode{U} shall be
   complete types, \cv{}~\keyword{void}, or arrays of unknown bound.  \\ \rowsep
 
 \indexlibraryglobal{reference_converts_from_temporary}%
 \tcode{template<class T, class U>}\br
   \tcode{struct reference_converts_from_temporary;} &
-  \tcode{conjunction_v<is_reference<T>, is_convertible<U, T>>} is \tcode{true},
-  and the initialization \tcode{T t = \exposidnc{VAL}<U>;} binds \tcode{t} to
-  a temporary object whose lifetime is extended\iref{class.temporary}. &
+  \tcode{T} is a reference type, and
+  the initialization \tcode{T t = \exposidnc{VAL}<U>;}
+  is well-formed and binds \tcode{t} to
+  a temporary object whose lifetime is extended\iref{class.temporary}.
+  Access checking is performed as if in
+  a context unrelated to \tcode{T} and \tcode{U}.
+  Only the validity of the immediate context of
+  the variable initialization is considered.
+  \begin{tailnote}
+  The initialization can result in effects such as
+  the instantiation of class template specializations and
+  function template specializations,
+  the generation of implicitly-defined functions, and so on.
+  Such effects are not in the ``immediate context'' and
+  can result in the program being ill-formed.
+  \end{tailnote}
+&
   \tcode{T} and \tcode{U} shall be
   complete types, \cv{}~\keyword{void}, or arrays of unknown bound.  \\ \rowsep