Rollup merge of #125112 - tbu-:pr_create_dir_all_empty, r=dtolnay · model-checking/verify-rust-std@04e46c2 (original) (raw)

Original file line number Diff line number Diff line change
@@ -2386,6 +2386,9 @@ pub fn create_dir<P: AsRef>(path: P) -> io::Result<()> {
2386 2386 /// If this function returns an error, some of the parent components might have
2387 2387 /// been created already.
2388 2388 ///
2389 +/// If the empty path is passed to this function, it always succeeds without
2390 +/// creating any directories.
2391 +///
2389 2392 /// # Platform-specific behavior
2390 2393 ///
2391 2394 /// This function currently corresponds to multiple calls to the `mkdir`