Section: 188.8.131.52 [fs.op.resize_file] Status: New Submitter: Richard Smith Opened: 2016-11-07 Last modified: 2017-02-02
View all issues with New status.
resize_file has this postcondition (after resolving late comment 42, see P0489R0):
Postcondition: file_size(p) == new_size.
This is impossible for an implementation to satisfy, due to the possibility of file system races. This is not actually a postcondition; rather, it is an effect that need no longer hold when the function returns.
[Issues Telecon 16-Dec-2016]