LWG2816 resize_file has impossible postcondition

Author: Dawn Perchik

source/iostreams.tex

@@ -15550,13 +15550,11 @@
 
 \begin{itemdescr}
 \pnum
-\postconditions \tcode{file_size(p) == new_size}.
+\effects Causes the size that would be returned by \tcode{file_size(p)} to be
+equal to \tcode{new_size}, as if by POSIX \tcode{truncate()}.
 
 \pnum
 \throws As specified in~\ref{fs.err.report}.
-
-\pnum
-\remarks Achieves its postconditions as if by POSIX \tcode{truncate()}.
 \end{itemdescr}