CWG2864 Narrowing floating-point conversions

Author: burblebee

source/declarations.tex

@@ -6258,10 +6258,9 @@
 \item from a floating-point type \tcode{T} to another floating-point type
 whose floating-point conversion rank is neither greater than nor equal to
 that of \tcode{T},
-except where the source is a constant expression and
-the actual value after conversion
-is within the range of values that can be represented (even if it cannot be represented exactly),
-or
+except where the result of the conversion is a constant expression and
+either its value is finite and the conversion did not overflow, or
+the values before and after the conversion are not finite, or
 
 \item from an integer type or unscoped enumeration type to a floating-point type, except
 where the source is a constant expression and the actual value after conversion will fit