CWG2703 Three-way comparison requiring strong ordering for floating-point types, take 2

Author: burblebee

source/classes.tex

@@ -6551,7 +6551,8 @@
 \tcode{static_cast<R>(a <=> b)}.
 
 \item
-Otherwise, if overload resolution for \tcode{a <=> b} is performed and
+Otherwise, if \tcode{a <=> b} is usable or
+overload resolution for \tcode{a <=> b} is performed and
 finds at least one viable candidate,
 the synthesized three-way comparison is not defined.