30 Input/output library [input.output]

30.10 File systems [filesystems]

30.10.11 Class file_­status [fs.class.file_status]

30.10.11.1 file_­status constructors [fs.file_status.cons]

explicit file_status(file_type ft, perms prms = perms::unknown) noexcept;

Postconditions: type() == ft and permissions() == prms.