[expr.cond] Clarify what "subject to the constraint" means.

Author: zygoloid

source/expressions.tex

@@ -6436,13 +6436,15 @@
 
 \begin{itemize}
 \item If \tcode{E2} is an lvalue, the target type is
-``lvalue reference to \tcode{T2}'', subject to the
-constraint that in the conversion the reference binds
-directly\iref{dcl.init.ref} to a glvalue.
+``lvalue reference to \tcode{T2}'',
+but an implicit conversion sequence can only be formed
+if the reference would bind directly\iref{dcl.init.ref}
+to a glvalue.
 
 \item If \tcode{E2} is an xvalue, the target type is
 ``rvalue reference to \tcode{T2}'',
-subject to the constraint that the reference binds directly.
+but an implicit conversion sequence can only be formed
+if the reference would bind directly.
 
 \item If \tcode{E2} is a prvalue or if neither of the conversion sequences above can be
 formed and at least one of the operands has (possibly cv-qualified) class type: