LWG2937 Is equivalent("existing_thing", "not_existing_thing") an error?

Author: Dawn Perchik

source/iostreams.tex

@@ -14313,25 +14313,22 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{s1} and \tcode{s2} be \tcode{file_status}s, determined
-as if by \tcode{status(p1)} and \tcode{status(p2)}, respectively.
-
-\pnum
-\effects Determines \tcode{s1} and \tcode{s2}.
-If \tcode{(!exists(s1) \&\& !exists(s2)) || (is_other(s1) \&\& is_other(s2))}
-an error is reported~(\ref{fs.err.report}).
-
-\pnum
-\returns \tcode{true}, if \tcode{s1 == s2} and \tcode{p1} and \tcode{p2} resolve to the same file
+\returns \tcode{true}, if \tcode{p1} and \tcode{p2} resolve to the same file
   system entity, else \tcode{false}. The signature with argument \tcode{ec}
   returns \tcode{false} if an error occurs.
 
 \pnum
 Two paths are considered to resolve to the same file system entity if two
-  candidate entities reside on the same device at the same location. This is
+  candidate entities reside on the same device at the same location.
+  \begin{note}
+  On POSIX platforms, this is
   determined as if by the values of the POSIX \tcode{stat} structure,
   obtained as if by \tcode{stat()} for the two paths, having equal \tcode{st_dev} values
   and equal \tcode{st_ino} values.
+  \end{note}
+
+\pnum
+\remarks \tcode{!exists(p1) || !exists(p2)} is an error.
 
 \pnum
 \throws As specified in~\ref{fs.err.report}.